Zassenhaus conjecture on torsion units holds for SL(2, 𝑝) and SL(2, 𝑝2)

H. J. Zassenhaus conjectured that any unit of finite order and augmentation 1 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 G. We prove the Zassenhaus conjecture for the groups {\mathrm{SL}(2,p)} and {\mathrm{SL}(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=\mathrm{SL}(2,p^{f})} , with f arbitrary and u is a torsion unit of {\mathbb{Z}G} with augmentation 1 and order coprime with p, then u is conjugate in {\mathbb{Q}G} to an element of G. By known results, this reduces the proof of the Zassenhaus conjecture for these groups to proving that every unit of {\mathbb{Z}G} of order a multiple of p and augmentation 1 has order actually equal to p.

Orders of torsion units of integral reality-based algebras with rational multiplicities

A reality-based algebra (RBA) is a finite-dimensional associative algebra with involution over [Formula: see text] whose distinguished basis [Formula: see text] contains [Formula: see text] and is closed under pseudo-inverse. An integral RBA is one whose structure constants in its distinguished basis are integers. If the algebra has a one-dimensional representation taking positive values on [Formula: see text], then we say that the RBA has a positive degree map. These RBAs have a standard feasible trace, and the multiplicities of the irreducible characters in the standard feasible trace are the multiplicities of the RBA. In this paper, we show that for integral RBAs with positive degree map whose multiplicities are rational, any finite subgroup of torsion units whose elements are all of degree [Formula: see text] and have algebraic integer coefficients must have order dividing a certain positive integer determined by the degree map and the multiplicities. The paper concludes with a thorough investigation of the properties of RBAs that force multiplicities to be rational.

Rational Conjugacy of Torsion Units in Integral Group Rings of Non-Solvable Groups

We introduce a new method to study rational conjugacy of torsion units in integral group rings using integral and modular representation theory. Employing this new method, we verify the first Zassenhaus conjecture for the group PSL(2, 19). We also prove the Zassenhaus conjecture for PSL(2, 23). In a second application we show that there are no normalized units of order 6 in the integral group rings of M10 and PGL(2, 9). This completes the proof of a theorem of Kimmerle and Konovalov that shows that the prime graph question has an affirmative answer for all groups having an order divisible by at most three different primes.