Centrally large subgroup: Difference between revisions

From Groupprops
(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:

  1. for any subgroup of .
  2. (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