Math.Algebra.Group.Subquotients
isLeft
isRight
unRight
restrictLeft
ptStab
isTransitive
transitiveConstituentHomomorphism
transitiveConstituentHomomorphism'
minimalBlock
blockSystems
blockSystemsSGS
isPrimitive
isPrimitiveSGS
blockHomomorphism
blockHomomorphism'
normalClosure
intersectionNormalClosure
centralizerSymTrans