Abelian quasinormal subgroups of finite \(p\)-groups. (Q2431536)

A subgroup \(Q\) is said to be quasinormal in a group \(G\), if it is permutable with all subgroups of \(G\). Such type of subgroups appeared in \textit{K. Iwasawa}'s known paper [J. Fac. Sci. Univ. Tokyo, Sect. I 4, 171-199 (1941; Zbl 0061.02503)]. A \(p\)-group \(G=AX\), where \(A<G\) is Abelian quasinormal and \(X<G\) is cyclic, is considered. If \(A_G=\bigcap_{x\in G}A^x=\{1\}\), then \(\Omega_i(A)\) are quasinormal in \(G\). Moreover, there exists a composition series of \(G\) containing \(\Omega_i(A)\) for all \(i\), all of whose members are quasinormal. Three examples showing that the obtained results are best possible are presented. Probably, in Example 1, \(X=\langle x\rangle\).