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.
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
