Frattinian \(p\)-groups (Q921115)

A \(p\)-group \(G\) is called Frattinian if \(Z(M)\neq Z(G)\) for every maximal subgroup \(M\) of \(G\). For example, extra-special groups are Frattinian. The Frattinian group \(G\) is called strongly Frattinian if \(C_ G(Z(\Phi(G)))=\Phi(G)\). It is shown that a Frattinian \(p\)-group \(G\) is either (1) the central product of non-Abelian groups of order \(p^ 2| Z(G)|\) with the centres amalgamated, or (2) the central product of Frattinian subgroups \(E, F\), where \(E=C_ G(F)\), \(F\) is strongly Frattinian and \(\Phi(E)\leq Z(G)\). Let \(G\) be any finite, non-cyclic \(p\)-group, and let \(\tilde G=F/R'R^ p\), where \(F/R\) is a minimal free presentation of \(G\); this is the maximal Frattini \(p\)-extension of \(G\) and it is strongly-Frattinian. Finally, it is shown that if \(G\) is strongly Frattinian, the automorphisms of \(G\) which centralize \(G/\Phi(G)\) and \(Z(\Phi(G))\) form a normal \(p\)-subgroup of \(\Aut G\) which is not inner.