Finite groups all of whose second maximal subgroups are \(\mathcal H_p\)-groups. (Q387553): Difference between revisions

All groups considered are finite. A subgroup \(H\) of a group \(G\) is called an \(\mathcal H\)-subgroup of \(G\) if \(N_G(H)\cap H^g\leq H\) for all \(g\in G\). \textit{M. Bianchi} et al. defined [in J. Group Theory 3, No. 2, 147-156 (2000; Zbl 0959.20024)] this subgroup embedding property and studied its influence on the structure of a group. In the paper under review the following concept is introduced: A group \(G\) is said to be an \(\mathcal H_p\)-group if every cyclic subgroup of \(G\) of prime order or order 4 is an \(\mathcal H\)-subgroup of \(G\). \(\mathcal H_p\)-groups are supersoluble and, moreover, groups whose maximal subgroups are \(\mathcal H_p\)-groups are soluble. One of the main results in the paper (Theorem 1.5) characterizes (soluble) groups all of whose maximal subgroups are \(\mathcal H_p\)-groups. Also a complete description of groups such that all their second maximal subgroups are \(\mathcal H_p\)-groups is given (Theorem 1.6).