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 (H99E1)

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)
[Next][Prev] [Right] [Left] [Up] [Index] [Root]


Version: V2.29 of Fri Nov 28 15:14:01 AEDT 2025
Search: