On the theorem of Mann about \(p\)-groups all of whose nonnormal subgroups are elementary abelian. (Q891091)

Let \(G\) be a nonabelian finite \(p\)-group. A classical result of A. Mann states that if all nonnormal subgroups of \(G\) are elementary abelian then either (1) \(G\) is of exponent \(p\), (2) of class 2 or (3) isomorphic to the dihedral group of order 16. The author examines further this class of groups. \(G\) is said to be an \(M_p\)-group if all minimal nonabelian subgroups are normal. An \(M_p\)-group is also metahamiltonian, studied by \textit{L. An} and \textit{Q. Zhang} [J. Algebra 442, 23-35 (2015; Zbl 1331.20022)] and also classified in a forthcoming paper. \(G\) is said to be a \(K_p\)-group if it is of exponent greater than \(p\) and all cyclic subgroups of order greater than \(p\) are normal. The main results of the author are as follows. If \(|G|>p^4\), \(p>2\), \(G\) is an \(M_p\)-group containing a minimal nonabelian subgroup of order \(p^3\) then \(|G'|=p\). If \(G\) is a \(K_p\)-group, is quaternion-free and has no \(D_8\)-subgroup, then \(|G'|=p\). If \(G\) is a nonhamiltonian 2-group with all nonnormal subgroups elementary abelian then either \(G\) is isomorphic to the dihedral group of order 16 or \(|G'|=2\). Consequently in Mann's above theorem in cases (1) and (2) also \(|G'|=p\) holds. -- Moreover, the author puts forth several research problems.