Extensions
The following (empty) functions are defined in GroupsCore only to be extended externally:
isabelian
issolvable
isnilpotent
isperfect
derivedsubgroup
center
socle
sylowsubgroup
centralizer
normalizer
stabilizer
right_coset_representativesGroupsCore.index — Functionindex(H::Gr, G::Gr) where {Gr <: Group}Return the index |G : H|, where H ≤ G is a subgroup. If H is not contained in G, an error is thrown.
GroupsCore.left_coset_representatives — Functionleft_coset_representatives(H::Gr, G::Gr) where {Gr <: Group}Return representatives of the left cosets h G where h are elements of H. If H is not contained in G, an error is thrown.