Centrally large subgroup: Difference between revisions
(Created page with '{{subgroup property}} {{abelian maximality notion in p-groups}} ==Definition== Let <math>P</math> be a group of prime power order. A subgroup <math>A</math> of <math>P</mat…') |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
==Definition== | ==Definition== | ||
Let <math>P</math> be a [[group of prime power order]]. A subgroup <math>A</math> of <math>P</math> is termed a '''centrally large subgroup''' or '''CL-subgroup''' if <math>|A||Z(A)| \ge |B||Z(B)|</math> for any subgroup <math>B</math> of <math>P</math>. | Let <math>P</math> be a [[group of prime power order]]. A subgroup <math>A</math> of <math>P</math> is termed a '''centrally large subgroup''' or '''CL-subgroup''' if it satisfies the following equivalent conditions: | ||
# <math>|A||Z(A)| \ge |B||Z(B)|</math> for any subgroup <math>B</math> of <math>P</math>. | |||
# <math>C_P(A) \le A</math> (i.e., <math>A</math> is a [[defining ingredient::self-centralizing subgroup]] of <math>P</math>) and <math>A</math> is a [[defining ingredient::centralizer-large subgroup]] of <math>P</math>. | |||
===Equivalence of definitions=== | |||
{{further|[[Centrally large iff centralizer-large and self-centralizing]]}} | |||
==Relation with other properties== | |||
===Weaker properties=== | |||
* [[Stronger than::Self-centralizing subgroup]] | |||
* [[Stronger than::Centralizer-large subgroup]] | |||
==References== | ==References== | ||
| Line 10: | Line 24: | ||
===Journal references=== | ===Journal references=== | ||
* {{paperlink|ChermakDelgado}} | |||
* {{paperlink|GlaubermanCL}} | * {{paperlink|GlaubermanCL}} | ||
Latest revision as of 23:57, 29 July 2009
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]
This article is about a maximality notion among subgroups, related to abelianness or small class, in a group of prime power order.
View other such notions
Definition
Let be a group of prime power order. A subgroup of is termed a centrally large subgroup or CL-subgroup if it satisfies the following equivalent conditions:
- for any subgroup of .
- (i.e., is a self-centralizing subgroup of ) and is a centralizer-large subgroup of .
Equivalence of definitions
Further information: Centrally large iff centralizer-large and self-centralizing
Relation with other properties
Weaker properties
References
Journal references
- A measuring argument for finite groups by Andrew Chermak and Alberto Delgado, Proceedings of the American Mathematical Society, Volume 107,Number 4, Page 907 - 914(Year 1989): Official copyMore info
- Centrally large subgroups of finite p-groups by George Isaac Glauberman, Journal of Algebra, ISSN 00218693, Volume 300,Number 2, Page 480 - 508(Year 2006): Official copyMore info