FactorGroup(G,N)
IrreducibleRepresentations
IrrConlon
DeclareRepresentation
Embedding
Projection
BaseDomain
AutomorphismGroup
NormalClosure