Structures · Algebra
IsZGroup
A Z-group is a group whose Sylow subgroups are all cyclic.
- Shape
- One type argument · adds isZGroup
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- Subtype
- HasQuotient.Quotient
How is a type an instance?
Loading the hierarchy index…
Assumed by15
- IsZGroup.isZGroup
- IsZGroup.isCyclic_commutator
- IsPGroup.isCyclic_of_isZGroup
- IsZGroup.of_injective
- isZGroup_of_coprime
- IsZGroup.coprime_commutator_index
- IsZGroup.instIsCyclicOfFiniteOfIsNilpotent
- IsZGroup.instIsCyclicSubtypeMemSubgroupOfFactPrime
- IsZGroup.commutator_lt
- IsZGroup.instSubtypeMemSubgroup
- IsZGroup.exponent_eq_card
- IsZGroup.of_surjective
- IsZGroup.isCyclic_abelianization
- IsZGroup.instQuotientSubgroupOfFinite
- IsZGroup.instIsSolvableOfFinite
Ancestors0
No ancestors.