Zassenhaus Conjecture on torsion units holds for \text{SL}(2,p) and \text{SL}(2,p^2)

DOI10.1515/JGTH-2018-0113MaRDI QIDQ6299061arXivWikidataFDO

Authors Ángel del Río, Mariano Serrano

Publication date 14 March 2018

Published in arXiv

Full work available at URL https://doi.org/10.1515/JGTH-2018-0113

Mathematics Subject Classification ID

Group rings (16S34) Units, groups of units (associative rings and algebras) (16U60) Group rings of finite groups and their modules (group-theoretic aspects) (20C05)

arXiv classification

math.GR

Abstract: H.J. Zassenhaus conjectured that any unit of finite order and augmentation $1$ in the integral group ring $mathbbZG$ of a finite group $G$ is conjugate in the rational group algebra $mathbbQG$ to an element of $G$. We prove the Zassenhaus Conjecture for the groups $extSL(2,p)$ and $extSL(2,p^2)$ with $p$ a prime number. This is the first infinite family of non-solvable groups for which the Zassenhaus Conjecture has been proved. We also prove that if $G=extSL(2,p^f)$, with $f$ arbitrary and $u$ is a torsion unit of $mathbbZG$ with augmentation $1$ and order coprime with $p$ then $u$ is conjugate in $mathbbQG$ to an element of $G$. By known results, this reduces the proof of the Zassenhaus Conjecture for this groups to prove that every unit of $mathbbZG$ of order multiple of $p$ and augmentation $1$ has actually order $p$.

This page was built for publication: Zassenhaus Conjecture on torsion units holds for $\text{SL}(2,p)$ and $\text{SL}(2,p^2)$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6299061)