Subsections

• Conversion to a PC-Group
• Soluble Group Functions
• p-group Functions

PCGroup(G) : GrpMat -> GrpPC, Map

Construct a pc group S isomorphic to the soluble group G. In addition to returning S, the function also returns an isomorphism phi: G -> S.

Given a soluble group G, and a prime p dividing |G|, return the lower p-central series for G. The series is returned as a sequence of subgroups.

Given a p-group G, return true if G is special, false otherwise.

Given a p-group G, return true if G is extra-special, false otherwise.

Given a p-group G, return the Frattini subgroup.

Given a p-group G, return the Jennings series for G. The series is returned as a sequence of subgroups.