Maximal among abelian subgroups
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 describes a property that arises as the conjunction of a subgroup property: self-centralizing subgroup with a group property (itself viewed as a subgroup property): Abelian group
View a complete list of such conjunctions
A subgroup of a group is termed maximal among abelian subgroups or a maximal abelian subgroup or a self-centralizing abelian subgroup if it satisfies the following equivalent conditions:
- It equals its centralizer in the whole group.
- It is abelian and self-centralizing.
- It is abelian and is not properly contained in a bigger abelian subgroup.
Definition with symbols
A subgroup of a group is termed maximal among Abelian subgroups or a maximal abelian subgroup or a self-centralizing abelian subgroup if it satisfies the following equivalent conditions:
- , where denotes the centralizer of in .
- and is abelian.
- is abelian, and if with Abelian, then .
Equivalence of definitions
For full proof, refer: Equivalence of definitions of maximal among abelian subgroups
In terms of the maximal operator
This property is obtained by applying the maximal operator to the property: Abelian subgroup
View other properties obtained by applying the maximal operator
Relation with other properties
- In a nilpotent group or supersolvable group, maximal among abelian normal subgroups: Further information: Maximal among abelian normal implies self-centralizing in nilpotent, maximal among abelian normal implies self-centralizing in supersolvable
- c-closed self-centralizing subgroup
- c-closed subgroup
- Self-centralizing subgroup
- Subgroup containing the center
- In any group, there always exist maximal among abelian subgroups. In fact, every abelian subgroup of a group is contained in a maximal among abelian subgroup. Further information: Every abelian subgroup is contained in a maximal among abelian subgroups
- Two subgroups that are maximal among abelian subgroups need not be isomorphic. In fact, they may not even have the same size. For instance, in the symmetric group on three letters, there is a subgroup of order two and a subgroup of order three, both of them maximal among abelian subgroups.
- In fact, any group can be expressed as a union of subgroups that are maximal among abelian subgroups. In particular, any non-abelian group has at least three distinct maximal among abelian subgroups. Further information: Every group is a union of maximal among abelian subgroups
- In certain cases, any abelian subgroup can be replaced by a normal subgroup or 2-subnormal subgroup of the same size. Further information: Category:Replacement theorems