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_representatives
GroupsCore.index — Function
index(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.

source
GroupsCore.left_coset_representatives — Function
left_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.

source