Cohomologically trivial modules over finite groups of prime power order. (Q661375): Difference between revisions

\textit{P.~Schmid} has asked [in Math. Z. 175, 1-3 (1980; Zbl 0445.20031)] whether there exists a finite nonabelian \(p\)-group \(G\) such that the center \(Z(\Phi(G))\) of its Frattini subgroup \(\Phi(G)\) is a cohomologically trivial \(G/\Phi(G)\)-module, that is, the (Tate) cohomology groups \(H^n(X,Z(\Phi(G)))\) are zero, for all \(n\) and all subgroups \(X\) of \(G/\Phi(G)\). By the results of Schmid, such a group \(G\) has to be non-regular. Since groups and modules here have order a power of the same prime \(p\), by a celebrated result of Gaschütz and Uchida, to show that \(G\) provides such an example it suffices to prove that \(H^n(G,Z(\Phi(G)))\) is zero for just one \(n\geq 0\). In the paper under review the author answers this question in the affirmative, determining in particular an example of minimum order of such a group. This is a group of order \(2^8\) and nilpotence class \(4\). Further results deal with the more general situation when \(\Phi(G)\) is replaced by an arbitrary normal subgroup of \(G\).