The first Zassenhaus conjecture for normalized units of integral group rings

Let GG be a finite group. Write ZG\mathbb{Z}G for its integral group ring and

V(ZG)={uU(ZG):ε(u)=1}\operatorname{V}(\mathbb{Z}G)=\{u\in \mathcal{U}(\mathbb{Z}G):\varepsilon(u)=1\}

for the group of normalized units, where ε\varepsilon is the augmentation map. First Zassenhaus conjecture. For any uV(ZG)u \in \operatorname{V}(\mathbb{Z}G) of finite order, there exist an element gGg \in G and a unit xx in the rational group algebra QG\mathbb{Q}G such that

x1ux=g.x^{-1}ux=g.

This conjecture concerns whether every torsion unit of augmentation one in an integral group ring is rationally conjugate to a group element. It has been proved for several classes of finite groups, including nilpotent groups, groups with a normal Sylow subgroup and abelian complement, and cyclic-by-abelian groups.

Sources & referencesView supporting material

Primary source

Andreas Bächle and Leo Margolis, “On the Prime Graph Question for Integral Group Rings of 4-primary groups I”, arXiv:1601.05689 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.