38.11 AsAlgebra

AsAlgebra( D )
AsAlgebra( F, D )

Let D be a domain. AsAlgebra returns an algebra A over the field F such that the set of elements of D is the same as the set of elements of A if this is possible. If D is an algebra the argument F may be omitted, the coefficients field of D is taken as coefficients field of F in this case.

If D is a list of algebra elements these elements must form a algebra. Otherwise an error is signalled.

    gap> a:= [ [ 1, 0 ], [ 0, 0 ] ] * Z(2);;
    gap> AsAlgebra( GF(2), [ a, 0*a ] );
    Algebra( GF(2), [ [ [ Z(2)^0, 0*Z(2) ], [ 0*Z(2), 0*Z(2) ] ] ] ) 

Note that this function returns a parent algebra or a subalgebra of a parent algebra depending on D. In order to convert a subalgebra into a parent algebra you must use Algebra or UnitalAlgebra (see Algebra, UnitalAlgebra).

Previous Up Top Next
Index