[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Conversion between Categories
Conversion between Categories
FPGroup(G) : GrpPC -> GrpFP, Map
A GrpFP representation F of G and the isomorphism from F to G.
PCGroup(G) : GrpPerm -> GrpPC, Map
PCGroup(G) : GrpMat -> GrpPC, Map
[Future release] PCGroup(G) : GrpFP -> GrpPC
A GrpPC representation of the group G and the isomorphism.
SolvableQuotient(G) : Grp -> GrpPC, Map
SolubleQuotient(G) : Grp -> GrpPC, Map
A GrpPC representation P of the largest solvable quotient of G and
the homorphism phi: G -> P.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]