No abstract

No abstract

In this paper we study the behavior of the first Zassenhaus conjecture (ZC1) under direct products as well as the General Bovdi Problem (Gen-BP) which turns out to be a slightly weaker variant of (ZC1). Among others we prove that (Gen-BP) holds for Sylow tower groups, so in particular for the class of supersolvable groups.(ZC1) is established for a direct product of Sylow-by-abelian groups provided the normal Sylow subgroups form together a Hall subgroup. We also show (ZC1) for certain direct products with one of the factors a Frobenius group.We extend the classical HeLP method to group rings with coefficients from any ring of algebraic integers. This is used to study (ZC1) for the direct product G × A, where A is a finite abelian group and G has order at most 95. For most of these groups we show that (ZC1) is valid and for all of them that (Gen-BP) holds. Moreover, we also prove that (Gen-BP) holds for the direct product of a Frobenius group with any finite abelian group. /15. 1 As the name suggests, there are also a second and a third Zassenhaus conjecture dealing with conjugacy of (not necessarily cyclic) torsion subgroups of ZG. (See [36, Section 37] for more details.)

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.