Zassenhaus conjecture on torsion units holds for \(\mathrm{PSL}(2,p)\) with \(p\) a Fermat or Mersenne prime (Q2419484): Difference between revisions

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.