Primitivity Testing in Free Group Algebras via Duality

Matan Seidel, Danielle Ernst-West, Doron Puder

Let $K$ be a field and $F$ a free group. By a classical result of Cohn and Lewin, the free group algebra $K\left[F\right]$ is a free ideal ring (FIR): a ring over which the submodu…