Zassenhaus conjecture on torsion units holds for PSL(2,p) with p a Fermat or Mersenne prime

DOI10.1016/J.JALGEBRA.2019.03.035MaRDI QIDQ2419484zbMATH OpenOpenAlexWikidataFDO

Authors Leo Margolis, Mariano Serrano, Ángel del Río

Publication date 13 June 2019

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.05797

zbMATH Keywords

integral group ringprojective special linear groupunit groupZassenhaus conjecture

Mathematics Subject Classification ID

Group rings (16S34) Units, groups of units (associative rings and algebras) (16U60)

Abstract: H.J. Zassenhaus conjectured that any unit of finite order in the integral group ring $mathbbZG$ of a finite group $G$ is conjugate in the rational group algebra $mathbbQG$ to an element of the form $pmg$ with $ginG$. Though known for some series of solvable groups, the conjecture has been proved only for thirteen non-abelian simple groups. We prove the Zassenhaus Conjecture for the groups $operatornamePSL(2,p)$, where $p$ is a Fermat or Mersenne prime. This increases the list of non-abelian simple groups for which the conjecture is known by probably infinitely many, but at least by 49, groups. Our result is an easy consequence of known results and our main theorem which states that the Zassenhaus Conjecture holds for a unit in $mathbbZoperatornamePSL(2,q)$ of order coprime with $2q$, for some prime power $q$.

Review text

The classical \textit{Zassenhaus Conjecture} states that any unit of finite order in the integral group ring \(\mathbb{Z}G\) of a finite group \(G\) is conjugate in the rational group algebra \(\mathbb{Q}G\) to an element of the form \(\pm g\) with \(g\in G\). This is known to be true for some series of solvable groups, but recently metabelian counterexamples have been constructed. The conjecture is still open for non-abelian simple groups and has only been proved for thirteen such groups. The authors of the paper under review prove the Zassenhaus Conjecture for the groups \(\mathrm{PSL}(2, p)\), where \(p\) is either a Fermat or Mersenne prime. This increases the list of non-abelian simple groups for which the conjecture is known by probably infinitely many, but at least by 50, groups. The result is an easy consequence of already well-known results and of the main theorems (namely, Theorems 1.1 and 1.2), where the latter one asserts that the Zassenhaus Conjecture holds true for a unit in the group ring \(\mathbb{Z}\mathrm{PSL}(2, q)\) of order coprime with \(2q\), for some prime power \(q\). However, no any concrete example is given to illustrate the intensive calculations.

Recommendations

• Zassenhaus conjecture on torsion units holds for \(\mathrm{SL}(2, {p})\) and \(\mathrm{SL}(2, {p}^2)\)
• Torsion units for some almost simple groups.
• On the Torsion Units of Some Integral Group Rings
• scientific article; zbMATH DE number 2211871
• Zassenhaus conjecture for integral group ring of simple linear groups.

Cites work

• A counterexample to the first Zassenhaus conjecture
• A Sylow theorem for the integral group ring of \(\mathrm{PSL}(2,q)\)
• Divisors of Mersenne Numbers
• Endliche Gruppen I
• Group ring groups. Volume 1: Orders and generic constructions of units.
• scientific article; zbMATH DE number 3489320 (Why is no real title available?)
• On the prime graph question for almost simple groups with an alternating socle
• On the prime graph question for integral group rings of 4-primary groups. II.
• On the Torsion Units of Some Integral Group Rings
• On the torsion units of the integral group ring of finite projective special linear groups
• Rational conjugacy of torsion units in integral group rings of non-solvable groups
• Recent developments in primality testing
• The prime graph conjecture for integral group rings of some alternating groups.
• Torsion units in integral group ring of the Mathieu simple group \(M_{22}\).
• Torsion units in integral group rings of some metabelian groups. II
• Torsion units in integral group rings.
• Zassenhaus conjecture for A₅
• Zassenhaus conjecture for \(A_6\).
• Zassenhaus conjecture for cyclic-by-Abelian groups.

Cited in

(11)

• Finite groups of the Lie type of small rank
• From examples to methods: Two cases from the study of units in integral group rings
• Units of group rings and a conjecture of H. J. Zassenhaus
• Zassenhaus conjecture on torsion units holds for \(\mathrm{SL}(2, {p})\) and \(\mathrm{SL}(2, {p}^2)\)
• Finite groups of units and their composition factors in the integral group rings of the groups PSL(2, q)
• Rational conjugacy of torsion units in integral group rings of non-solvable groups
• On the prime graph question for almost simple groups with an alternating socle
• Torsion units for some almost simple groups.
• Fuglede’s Conjecture Holds in \(\boldsymbol{\mathbb{Z}_{p}\times \mathbb{Z}_{p^{n}}}\)
• Units in group rings and blocks of Klein four or dihedral defect
• Units in blocks of defect 1 and the Zassenhaus conjecture

This page was built for publication: Zassenhaus conjecture on torsion units holds for \(\mathrm{PSL}(2,p)\) with \(p\) a Fermat or Mersenne prime

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