GModule( matrices, [F] )
GModule( G, [F] )
GModule constructs a G-module record from a list matrices of
matrices or from a matrix group G. The underlying field F may be
specified as an optional argument; otherwise, it is taken to be the field
generated by the entries of the given matrices.
The G-module record returned contains components .field,
.dimension, .generators and .isGModule.
In using many of the functions described in this chapter, other components of the G-module record may be set, which describe the nature of the action of the group on the module. A description of these components is given in Components of a $G$-module record.
GAP 3.4.4