40.7 RepresentativeOperation for Matrix Algebras

RepresentativeOperation( A, v1, v2 )

returns the element in the matrix algebra A that maps v1 to v2 via right multiplication if such an element exists, and false otherwise. v1 and v2 may be vectors or matrices of same dimension.

    gap> a:= MatAlgebra( GF(2), 2 );
    UnitalAlgebra( GF(2), [ [ [ Z(2)^0, 0*Z(2) ], [ 0*Z(2), 0*Z(2) ] ], 
      [ [ 0*Z(2), Z(2)^0 ], [ Z(2)^0, 0*Z(2) ] ] ] )
    gap> v1:= [ 1, 0 ] * Z(2);; v2:= [ 1, 1 ] * Z(2);;
    gap> RepresentativeOperation( a, v1, v2 );
    [ [ Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0 ] ]
    gap> t:= TrivialSubalgebra( a );;
    gap> RepresentativeOperation( t, v1, v2 );
    false 

Previous Up Top Next
Index