Characteristic subgroup of center
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]
Definition
A subgroup of a group is termed a characteristic subgroup of center if is a central subgroup of and is a characteristic subgroup of the center of .
Relation with other properties
Stronger properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
characteristic subgroup of abelian group | the whole group is an abelian group and the subgroup is a characteristic subgroup. | any abelian group is its own center. | |FULL LIST, MORE INFO |
Weaker properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
characteristic central subgroup | the subgroup is a central subgroup and is a characteristic subgroup of the whole group but not necessarily of the center. | follows from center is characteristic and characteristicity is transitive. | |FULL LIST, MORE INFO | |
powering-invariant characteristic subgroup | characteristic subgroup of center is powering-invariant | |||
quotient-powering-invariant characteristic subgroup | characteristic subgroup of center is quotient-powering-invariant | |||
powering-invariant normal subgroup | ||||
quotient-powering-invariant subgroup | ||||
powering-invariant subgroup | ||||
characteristic subgroup | ||||
central subgroup | ||||
characteristic central factor | ||||
characteristic transitively normal subgroup | ||||
abelian characteristic subgroup | ||||
abelian normal subgroup |