[Next][Prev] [Right] [Left] [Up] [Index] [Root] 
Construction of a General A-Module





RModule(A) : AlgMat -> ModTupRng



Given a subalgebra A of M_n(K), create the right A-module 
M with underlying vector space K^((n)), where the action of 
a in A is given by m * a, m in M.


The function RModule creates a module in reduced mode while 
RSpace creates a module in embedded mode.



RModule(Q) : [ AlgMatElt ] -> ModTupRng



Given the subalgebra A of M_n(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 in A is given by 
m * a, m in M.


The function RModule creates a module in reduced mode while 
RSpace creates a module in embedded mode.





Example ModAlg_CreateK6 (H76E1)

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]