The normalizer of a finite group in its integral group ring and Čech cohomology (Q2759664)

Let \(G\) and \(H\) be two finite groups and let \(\mathbb{Z} G\) and \(\mathbb{Z} H\) be their respective group rings over the integers. In a recent spectacular breakthrough Martin Hertweck constructed two non-isomorphic finite groups \(G\) and \(H\) so that \(\mathbb{Z} G\simeq\mathbb{Z} H\).NEWLINENEWLINENEWLINEIn the paper under review the authors explain Hertweck's construction and place it in its historical background. In particular, they study in detail how a Čech style cohomology is needed to prove that the two groups constructed are non-isomorphic. Moreover, it is explained how the example uses the fact that one needs a non-inner automorphism of \(G\) that becomes inner in \(\mathbb{Z} G\). One needs for the construction a group automorphism whose square is inner, which preserves conjugacy classes and whose restriction to any Sylow subgroup is given by conjugation in the group. In a final section, it is proved that for metabelian finite groups with Abelian 2-Sylow subgroups there is no such automorphism.NEWLINENEWLINENEWLINEThe paper under review gives an interesting analysis of Hertweck's example.NEWLINENEWLINEFor the entire collection see [Zbl 0969.00049].