Another counterexample to a conjecture of Zassenhaus. (Q1856597)

The Zassenhaus conjecture on automorphisms of the integral group ring \(\mathbb{Z} G\) of a finite group \(G\) says that any augmentation preserving automorphism of \(\mathbb{Z} G\) factors into a composition of an automorphism, extended from a group automorphism of \(G\), and a central one (an automorphism of \(\mathbb{Z} G\) fixing the centre elementwise). K. Roggenkamp and L. Scott constructed a metabelian group \(G\) of order 2880, with \(\mathbb{Z} G\) possessing an automorphism, which violates the Zassenhaus conjecture. Their construction is explicit in the semi-local case, whereas in the global situation rather general theory is used. Slightly modifying \(G\), L. Klingler gave a more explicit proof. In Klingler's work \(|G|\) becomes 6720. In this paper, the author essentially simplifies the construction, dealing with a metabelian group \(G\) of order 1440 (\(=2^5\cdot 3^2\cdot 5\)). The automorphism is constructed by establishing certain congruence relations satisfied by powers of only a few distinguished elements of \(\mathbb{Z} G\). The author also gives a group \(G\) of order \(2^5\cdot 3\) whose group ring \(\mathbb{Z} G\) possesses a group basis \(H\) such that the Sylow \(2\)-subgroups of \(G\) and \(H\) are not conjugate in the unit group of the \(2\)-adic integral group ring \(\mathbb{Z}_2G\).