Integral group ring of the Mathieu simple group \(M_{12}\). (Q997548): Difference between revisions

The Zassenhaus conjecture states that normalized torsion units of the integral group ring of a finite group are conjugate in the rational group algebra to an element of the group. This conjecture has been considered by many researchers over decades and also has some variations. A recent one is due to W. Kimmerle: the prime graph of the group and the group of normalized units coincide (the prime graph of a group has the prime divisors of the orders of torsion elements as vertices, and has edges between two primes if there is an element of order the product of the primes in the group). This weaker conjecture was verified by W. Kimmerle for finite Frobenius and solvable groups. In this paper, the authors establish Kimmerle's conjecture for the Mathieu simple group \(M_{12}\). The tools of the proof are known restrictions on partial augmentations of torsion units in terms of characters, used for investigations concerning the Zassenhaus conjecture by, for instance, \textit{Z. Marciniak, J. Ritter, S. K. Sehgal}, and \textit{A. Weiss}, [J. Number Theory 25, 340-352 (1987; Zbl 0611.16007)] and \textit{I. S. Luthar} and \textit{I. B. S. Passi}, [Proc. Indian Acad. Sci., Math. Sci. 99, No. 1, 1-5 (1989; Zbl 0678.16008)].