English

Which group algebras cannot be made zero by imposing a single non-monomial relation?

Group Theory 2021-10-15 v5 Rings and Algebras

Abstract

For which groups GG is it true that for all fields kk, every non-monomial element of the group algebra kGk\,G generates a proper 22-sided ideal? The only groups for which we know this are the torsion-free abelian groups. We would like to know whether it also holds for all free groups. It is shown that the above property fails for wide classes of groups: for every group GG that contains an element g1g\neq 1 whose image in G/[g,G]G/[g,G] has finite order (in particular, every group containing a g1g\neq 1 that itself has finite order, or that satisfies g[g,G])g\in [g,G]); and for every group containing an element gg which commutes with a conjugate hgh1ghgh^{-1}\neq g (in particular, for every nonabelian solvable group). Results are obtained on closure properties of the class of groups satisfying the stated condition. Many further questions are raised; in particular, a plausible Freiheitssatz for group algebras of free groups is noted.

Keywords

Cite

@article{arxiv.1905.12704,
  title  = {Which group algebras cannot be made zero by imposing a single non-monomial relation?},
  author = {George M. Bergman},
  journal= {arXiv preprint arXiv:1905.12704},
  year   = {2021}
}

Comments

14 pp. Final version sent to publisher

R2 v1 2026-06-23T09:32:17.488Z