An algorithm to construct candidates to counterexamples to the Zassenhaus Conjecture
Abstract
Let $G$ be a finite group, $N$ a nilpotent normal subgroup of $G$ and let $\mathrm{V}(\mathbb{\Z} G, N)$ denote the group formed by the units of the integral group ring $\mathbb{\Z} G$ of $G$ which map to the identity under the natural homomorphism $\mathbb{\Z} G \rightarrow \mathbb{\Z} (G/N)$. Sehgal asked whether any torsion element of $\mathrm{V}(\mathbb{\Z} G, N)$ is conjugate in the rational group algebra of $G$ to an element of $G$. This is a special case of the Zassenhaus Conjecture. By results of Cliff and Weiss and Hertweck, Sehgal's Problem has a positive solution if $N$ has at most one noncyclic Sylow subgroup. We present some algorithms to study Sehgal's Problem when $N$ has at most one nonabelian Sylow subgroup. They are based on the CliffWeiss inequalities introduced by the authors in a previous paper. With the help of these algorithms we obtain some positive answers to Sehgal's Problem and use them to show that for units in $\mathrm{V}(\mathbb{\Z} G,N)$ our method is strictly stronger than the well known HeLP Method. We then present a method to use the output of one of the algorithms to construct explicit metabelian groups which are candidates to a negative solution to Sehgal's Problem. Recently Eisele and Margolis showed that some of the examples proposed in this paper are indeed counterexamples to the Zassenhaus Conjecture. These are the first known counterexamples. Moreover, we prove that every metabelian negative solution of Sehgal's Problem satisfying some minimal conditions is given by our construction.
 Publication:

arXiv eprints
 Pub Date:
 October 2017
 DOI:
 10.48550/arXiv.1710.05629
 arXiv:
 arXiv:1710.05629
 Bibcode:
 2017arXiv171005629M
 Keywords:

 Mathematics  Rings and Algebras
 EPrint:
 Some minor changes. 21 pages, 3 algorithms, 2 figures, 3 tables