Dear Membres, I have constructed an algebra A, starting by defining a set of matrices M,N, and P, with coefficients in the rationals. I used following commands: * * *A:=Algebra(Rationals, [M,N,P]);* <algebra over Rationals, with 3 generators> *Dimension(A);inA,* 24 *R:=RadicalOfAlgebra(A);* <algebra of dimension 18 over Rationals> *Q:=A/R;* <algebra of dimension 6 over Rationals> *gQ:=GeneratorsOfAlgebra(Q);* [ v.1, v.2, v.3, v.4, v.5, v.6 ]
I would like to know if it is possible to either express the generators as representatives or to construct some homomorphism of algebras from A:->Q. Thanks, Marc Bogaerts _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
