[GAP Forum] Algebras

Sandeep Murthy sandeepr.murthy at gmail.com
Sat Feb 16 17:51:21 GMT 2013


Hi,

1. I can't make sense of the following result on GAP:

gap> IsAlgebraWithOne( MatAlgebra( Rationals, 1 ) );
true
gap> IsAlgebraWithOne( MatAlgebra( Rationals, 2 ) );
true
gap> IsAlgebraWithOne( DirectSumOfAlgebras( MatAlgebra( Rationals, 1 ), 
MatAlgebra( Rationals, 2 ) ) );
false

Surely the result should also be an algebra with one.

2. Is there a way to test for isomorphism between two
algebras indirectly, in the same way as for groups
(i.e. IsomorphismGroups( G, H ))?

Sincerely, Sandeep.













More information about the Forum mailing list