41.8 AsSpace for Modules

AsSpace( M )

returns a (quotient of a) row space that is equal to the (quotient of a) row module M.

    gap> s:= Submodule( nat, [ [ 1, 1, 0 ] * Z(2) ] );
    Submodule( nat, [ [ Z(2)^0, Z(2)^0, 0*Z(2) ] ] )
    gap> Dimension( s );
    2
    gap> AsSpace( s );
    RowSpace( GF(2),
    [ [ Z(2)^0, Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0, Z(2)^0 ] ] )
    gap> q:= nat / s;
    nat / [ [ Z(2)^0, Z(2)^0, 0*Z(2) ] ]
    gap> AsSpace( q );
    RowSpace( GF(2),
    [ [ Z(2)^0, 0*Z(2), 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2) ],
      [ 0*Z(2), 0*Z(2), Z(2)^0 ] ] ) / 
    [ [ Z(2)^0, Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0, Z(2)^0 ] ] 

Previous Up Top Next
Index