[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