Skip to main content
MathOverflow

Return to Answer

deleted 7 characters in body
Source Link
Jabby
Jabby
  • 100
  • 6

Perhaps the GAPQPA function IsomorphismFpAlgebra AlgebraAsQuiverAlgebra can be used to obtain what you want?

I tested the following small example:

LoadPackage("qpa");

p  := 3;
K  := GF(p);
G  := CyclicGroup(p);
KG := GroupRing(K, G);

A  := Image(IsomorphismFpAlgebraAlgebraAsQuiverAlgebra(KG));
F  := FreeAlgebraOfFpAlgebra(A);[1];
R  := RelatorsOfFpAlgebraRelationsOfAlgebra(A);

Perhaps the GAP function IsomorphismFpAlgebra can be used to obtain what you want?

I tested the following small example:

p  := 3;
K  := GF(p);
G  := CyclicGroup(p);
KG := GroupRing(K, G);

A  := Image(IsomorphismFpAlgebra(KG));
F  := FreeAlgebraOfFpAlgebra(A);
R  := RelatorsOfFpAlgebra(A);

Perhaps the QPA function AlgebraAsQuiverAlgebra can be used to obtain what you want?

I tested the following small example:

LoadPackage("qpa");

p  := 3;
K  := GF(p);
G  := CyclicGroup(p);
KG := GroupRing(K, G);

A := AlgebraAsQuiverAlgebra(KG)[1];
R := RelationsOfAlgebra(A);
Post Undeleted by Jabby
Post Deleted by Jabby
Source Link
Jabby
Jabby
  • 100
  • 6

Perhaps the GAP function IsomorphismFpAlgebra can be used to obtain what you want?

I tested the following small example:

p  := 3;
K  := GF(p);
G  := CyclicGroup(p);
KG := GroupRing(K, G);

A  := Image(IsomorphismFpAlgebra(KG));
F  := FreeAlgebraOfFpAlgebra(A);
R  := RelatorsOfFpAlgebra(A);