Constructions for A-Modules

RModule(A) : AlgMat -> ModRng
Given a subalgebra A of Mn(K), create the right A-module M with underlying vector space K(n), where the action of a ∈A is given by m * a, m ∈M.
RModule(Q) : [ MtrxS ] -> ModTupRng
Given the subalgebra A of Mn(K) generated by the terms of the sequence Q, create the right A-module M with underlying vector space K(n), where the action of a ∈A is given by m * a, m ∈M.

Example ModAlg_CreateK6 (H97E1)

We construct the 6-dimensional module over GF(2) with an action given by the matrices 
     [0 1 1 0 1 0]
     [0 0 1 1 1 1]
     [1 0 0 1 0 1]
     [0 0 0 1 0 0]
     [0 0 0 0 1 0]
     [0 0 0 0 0 1],
     [1 0 0 1 0 1]
     [0 1 0 0 1 1]
     [0 1 1 1 1 0]
     [0 0 0 1 1 0]
     [0 0 0 1 0 1]
     [0 1 0 1 0 0]

> A := MatrixAlgebra<GF(2), 6 |
>   [ 1,0,0,1,0,1,
>     0,1,0,0,1,1,
>     0,1,1,1,1,0,
>     0,0,0,1,1,0,
>     0,0,0,1,0,1,
>     0,1,0,1,0,0 ],
>   [ 0,1,1,0,1,0,
>     0,0,1,1,1,1,
>     1,0,0,1,0,1,
>     0,0,0,1,0,0,
>     0,0,0,0,1,0,
>     0,0,0,0,0,1 ] >;
> M := RModule(A);
> M;
RModule M of dimension 6 over GF(2)
V2.28, 13 July 2023