Abelian characteristic subgroup
This article describes a property that arises as the conjunction of a subgroup property: characteristic subgroup with a group property (itself viewed as a subgroup property): Abelian group
View a complete list of such conjunctions
Definition
Symbol-free definition
A subgroup of a group is termed an Abelian characteristic subgroup if it is Abelian as a group and characteristic as a subgroup.
Examples
VIEW: subgroups satisfying this property | subgroups dissatisfying property characteristic subgroup | subgroups dissatisfying property abelian group
VIEW: Related subgroup property satisfactions | Related subgroup property dissatisfactions
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| cyclic characteristic subgroup | cyclic group and a characteristic subgroup of the whole group | |FULL LIST, MORE INFO | ||
| characteristic central subgroup | central subgroup (i.e., contained in the center) and a characteristic subgroup of the whole group | |FULL LIST, MORE INFO | ||
| abelian critical subgroup | |FULL LIST, MORE INFO | |||
| characteristic subgroup of center | characteristic subgroup of the center | |FULL LIST, MORE INFO | ||
| characteristic subgroup of abelian group | the whole group is an abelian group | |FULL LIST, MORE INFO | ||
| maximal among abelian characteristic subgroups | |FULL LIST, MORE INFO | |||
| abelian fully invariant subgroup | abelian and a fully invariant subgroup -- invariant under all endomorphisms | |FULL LIST, MORE INFO |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| abelian normal subgroup | abelian and a normal subgroup -- invariant under all inner automorphisms | follows from characteristic implies normal | follows from normal not implies characteristic in the collection of all groups satisfying a nontrivial finite direct product-closed group property | |FULL LIST, MORE INFO |
| class two characteristic subgroup | characteristic subgroup that is also a group of nilpotency class two | |FULL LIST, MORE INFO | ||
| nilpotent characteristic subgroup | characteristic subgroup that is also a nilpotent group | follows from abelian implies nilpotent | follows from nilpotent not implies abelian | |FULL LIST, MORE INFO |
| solvable characteristic subgroup | characteristic subgroup that is also a solvable group | (via nilpotent) | (via nilpotent) | |FULL LIST, MORE INFO |