Subgroup of cyclic group
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
Let be a group and a subgroup. We use the term subgroup of cyclic group to describe in if is a cyclic group.
Relation with other properties
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (Reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| verbal subgroup | cyclic implies every subgroup is verbal | (any non-cyclic group as a subgroup of itself) | |FULL LIST, MORE INFO | |
| fully invariant subgroup | (via verbal) | (via verbal) | |FULL LIST, MORE INFO | |
| characteristic subgroup | (via fully invariant) | (via fully invariant) | |FULL LIST, MORE INFO | |
| normal subgroup | (via characteristic) | (via characteristic) | Characteristic subgroup|FULL LIST, MORE INFO | |
| subgroup of abelian group | the whole group is abelian | |FULL LIST, MORE INFO | ||
| cyclic normal subgroup | cyclic and a normal subgroup | |FULL LIST, MORE INFO | ||
| abelian normal subgroup | abelian and a normal subgroup | |FULL LIST, MORE INFO | ||
| cyclic characteristic subgroup | cyclic and a characteristic subgroup | |FULL LIST, MORE INFO | ||
| abelian characteristic subgroup | abelian and a characteristic subgroup | |FULL LIST, MORE INFO |