An algorithm to construct candidates to counterexamples to the Zassenhaus Conjecture

Let G be a finite group, N a nilpotent normal subgroup of G and let V(ZG,N) denote the group formed by the units of the integral group ring ZG of G which map to the identity under the natural homomorphism ZG→Z(G/N). Sehgal asked whether any torsion element of V(ZG,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 non-cyclic Sylow subgroup. We present some algorithms to study Sehgal's Problem when N has at most one non-abelian Sylow subgroup. They are based on the Cliff–Weiss 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 V(ZG,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.