No label defined (Q3128352)

The article gives an overview of results in D. Hahn's thesis. For a finite group \(G\), Hahn establishes a series of transitive \(\mathbb{Z}\)-permutation modules in the same genus, which are mutually non-isomorphic. Moreover, he gives an explicit construction of such a group \(G\) such that over some localization \(\mathbb{Z}_p\), a pair of non-isomorphic \(\mathbb{Z}\)-permutation modules becomes isomorphic, which answers a question of H. Lenstra. Hahn's main theorem states that for any (finite) solvable group \(X\) which is not hypo-elementary (i.e. \(X\) does not admit a normal Sylow subgroup \(S\) with \(X/S\) cyclic), there is a group \(G\) with subgroups \(H\), \(U\) isomorphic to \(X\), such that the corresponding \(\mathbb{Z}\)-permutation modules are in the same genus but not isomorphic. In order to prove that they are non-isomorphic, Hahn shows that \(H\) and \(U\) have a common complement \(K\), and there is an epimorphism \(\pi\colon K\twoheadrightarrow (C_2)^n\) which is constant on the double coset \(H\backslash G/U\), such that for each fiber \(F\) of \(\pi\), the double cosets which intersect \(F\) have cardinalities with a common prime divisor. An interesting result is obtained for the number of permutation modules in one genus, namely, a series of finite solvable groups \(G_n\) with permutation modules \(P_n\) is constructed, such that the genus of \(P_n\) contains exactly \(2^n\) non-isomorphic permutation modules.