[GAP Forum] Quotient of an Algebra by its Radical

Mbg Nimda mbg.nimda at gmail.com
Tue Aug 14 17:12:21 BST 2012


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


More information about the Forum mailing list