A theorem of Hertweck on $p$-adic conjugacy of $p$-torsion units in group rings

TL;DR

This paper provides a proof of Hertweck's theorem on the $p$-adic conjugacy of $p$-torsion units in group rings, extending previous results and impacting the study of the Zassenhaus Conjecture.

Contribution

It offers a new proof of Hertweck's theorem using the double action formalism over $p$-adic rings, generalizing prior results.

Findings

Proves conjugacy of certain torsion units in $\\mathbb{Z}_pG$

Generalizes Hertweck's theorem and related results

Implications for the Zassenhaus Conjecture

Abstract

A proof of a theorem of M. Hertweck presented during a seminar in January 2013 in Stuttgart is given. The proof is based on a preprint given to me by Hertweck. Let $R$ be a commutative ring, $G$ a finite group, $N$ a normal $p$-subgroup of $G$ and denote by $RG$ the group ring of $G$ over $R$. It is shown that a torsion unit $u$ in $\mathbb{Z}G$ mapping to the identity under the natural homomorphism $\mathbb{Z}G \rightarrow \mathbb{Z}G/N$ is conjugate in the unit group of $\mathbb{Z}_pG$ to an element in $N$. Here $\mathbb{Z}_p$ denotes the $p$-adic integers. The result is achieved proving a result in the context of the so-called double action formalism for group rings over $p$-adic rings. This widely generalizes a theorem of Hertweck and a related theorem by Caicedo-Margolis-del R\'io and has consequences for the study of the Zassenhaus Conjecture for integral group rings.