[GAP Forum] Algebras

[Sandeep Murthy]

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.