[GAP Forum] Finite dimensional algebras
Øyvind Solberg
oyvind.solberg at math.ntnu.no
Fri May 8 15:34:02 BST 2015
Dear GAP Forum and Alper,
You can construct quotients of polynomial rings in the following way
in GAP:
... GAP, Version 4.7.5 of 24-May-2014 (free software, GPL) ...
gap> R := PolynomialRing(Rationals,["a"]);
Rationals[a]
gap> a := IndeterminatesOfPolynomialRing(R)[1];
a
gap> I := Ideal(R, [a*a + 1]);
<two-sided ideal in Rationals[a], (1 generators)>
gap> S := R/I;
<ring Rationals,(1),(a)>
Note that I am using version 4.7.5, since in some of the earlier versions,
the latter command gave an error message.
You can also construct non-commutative polynomial rings as follows:
gap> R := FreeAlgebraWithOne(Rationals, 2);
<algebra-with-one over Rationals, with 2 generators>
gap> gens := GeneratorsOfAlgebra(R);
[ (1)*<identity ...>, (1)*x.1, (1)*x.2 ]
gap> x1 := gens[2];
(1)*x.1
gap> x2 := gens[3];
(1)*x.2
gap> I := Ideal(R, [x1^2, x1*x2 + x2*x1, x2^2]);
<two-sided ideal in <algebra-with-one over Rationals, with 2
generators>, (3 generators)>
gap> S := R/I;
<algebra-with-one over Rationals, with 2 generators>
A third way of constructing finite dimensional algebras is to use the
undeposited package QPA, which you find at
http://sourceforge.net/projects/quiverspathalg/
and see
http://www.math.ntnu.no/~oyvinso/QPA/
for further information. With this package you can construct and do
computations for finite dimensional quotients of path algebras. In
particular
construct modules/representations, homomorphisms over these and do
some homological algebra over these algebras.
gap> Q := Quiver(1, [[1,1,"a"], [1,1,"b"]]);
<quiver with 1 vertices and 2 arrows>
gap> KQ := PathAlgebra(Rationals, Q);
<Rationals[<quiver with 1 vertices and 2 arrows>]>
gap> AssignGeneratorVariables(KQ);
#I Assigned the global variables [ v1, a, b ]
gap> relations := [ a*a, a*b + 2*b*a, b*b];
[ (1)*a^2, (1)*a*b+(2)*b*a, (1)*b^2 ]
gap> A := KQ/relations; # the quantum plane
<Rationals[<quiver with 1 vertices and 2 arrows>]/
<two-sided ideal in <Rationals[<quiver with 1 vertices and 2 arrows>]>,
(3 generators)>>
Best regards, Oeyvind Solberg.
More information about the Forum
mailing list