Given a finite field $K$ with $p$ elements and a finite $p$-group $G$, is there a way to obtain the quiver and relations of $KG$ with GAP (and its package QPA)?


Since $KG$ is local, the quiver should easily be obtainable via the radical $J$ as $J/J^2$. But I do not know how to obtain the relations and whether this can be done in a quick way with a computer.



Obtaining quiver and relations for finite p-groups
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);

```

