Subsections

• Accessing Group Information

The functions in this group provide access to basic information stored for a matrix group G.

G . i : GrpMat, RngIntElt -> GrpMatElt

The i-th defining generator for G. A negative subscript indicates that the inverse of the generator is to be created. G.0 is Identity(G).

The degree of the matrix group G.

A set containing the defining generators for G.

Ngens(G) : GrpMat -> RngIntElt

The number of defining generators for G.

BaseRing(G) : GrpMat -> Rng

The coefficient ring for the matrix group G.

Given a matrix group G of degree n defined over a ring R, return the space R^((n)), where the action is multiplication by elements of R, i.e. scalar action.

The natural R[G]-module for the matrix group G.

The generic group containing G, i.e. the general linear group in which G is naturally embedded.

The power structure for the group G (the set consisting of all matrix groups).