Generalized quasinormal subgroups of order \(p^2\) (Q2818396)

Let \(H\) be a subgroup of a group \(G\). If \(\langle H,K\rangle=HKHK\) for every cyclic subgroup \(K\) of \(G\) then \(H\) is said to be 4-quasinormal in \(G\). Let \(G=\langle H,K\rangle\) be a finite \(p\)-group (\(p\geq 5\)) where \(H\) is an elementary abelian subgroup of rank 2 and \(K\) is a cyclic subgroup. The author proves that in this case if \(H\) is 4-quasinormal in \(G\) then \(K^p\) is contained in the center of \(G\) and \(H\) is invariant under index-preserving projectivities.