Math.Algebra.Group.Subquotients
isTransitive
transitiveConstituentHomomorphism
blockSystems
blockSystemsSGS
isPrimitive
isPrimitiveSGS
blockHomomorphism