41.5 Submodule

Submodule( M, gens )

returns the submodule of the parent of the module M that is generated by the elements in the list gens. If M is a factor module, gens may also consist of representatives instead of the cosets themselves.

    gap> a:= UnitalAlgebra( GF(2), [ mat1, mat2 ] );; a.name:= "a";;
    gap> nat:= NaturalModule( a );;
    gap> nat.name:= "nat";;
    gap> s:= Submodule( nat, [ [ 1, 1, 1 ] * Z(2) ] );
    Submodule( nat, [ [ Z(2)^0, Z(2)^0, Z(2)^0 ] ] )
    gap> Dimension( s );
    1