25.4 Ag Group Records

In addition to the record components described in Group Records the following components may be present in the group record of an ag group G.

isAgGroup:

is always true.

isConsistent:

is true if G has a consistent presentation (see IsConsistent).

compositionSeries:

contains a composition series of G (see CompositionSeries).

cgs:

contains a canonical generating system for G. If G Generating Systems of Ag Groups for details.

igs:

contains an induced generating system for G. See Generating Systems of Ag Groups for details.

elementaryAbelianFactors:

see ElementaryAbelianSeries.

sylowSystem:

contains a Sylow system (see SylowSystem).

Previous Up Top Next
Index