Finite \(p\)-groups with exactly one \(\mathcal A_1\)-subgroup of given structure of order \(p^3\). (Q381089): Difference between revisions

The title groups are classified. In the case when the \(2\)-group \(G\) contains only one subgroup \(D\cong D_8\), they use PC. Here we offer a PC-free proof. Let \(|G|>8\). If \(C_G(D)<D\), then \(G\) is of maximal class, and it is easy to see that \(G\) is semidihedral of order \(16\). If \(C_G(D)\not\leq D\) and \(D<B\leq DC_G(D)\), \(|B|=16\), then it is easy to check that \(B\) has \(3\) or \(4\) subgroups of order \(16\), a contradiction. A similar method allows to consider the case when a \(p\)-group \(G\) contains a unique nonabelian metacyclic subgroup of order \(p^3\), \(p>2\).