A family of maximal subgroups containing the Sylow subgroups and some solvability conditions (Q1057362)

For a finite group G and any prime p let \({\mathcal J}\) be the family of all maximal subgroups M of G such that [G:M] is composite and also co-prime to p. Define \(S_ p(G)\) to be the intersection of all members of \({\mathcal J}\); if \({\mathcal J}\) is empty define \(S_ p(G)=G\). Then \(S_ p(G)\) is a characteristic subgroup of G and it contains the Frattini subgroup \(\Phi\) (G). The family \({\mathcal J}\) is investigated and some results are obtained giving conditions under which the given group G is solvable. \textit{J. Rose} [J. Lond. Math. Soc. 40, 348-361 (1965; Zbl 0136.282)] proved that if every non-normal maximal subgroup of a group is nilpotent then the group is solvable. We prove (Theorem 1.1) that if each M in \({\mathcal J}\) is nilpotent, then either G is solvable, or \(p=2\) and each M in \({\mathcal J}\) has a 2-complement U such that \(U\triangleleft G\) and for any \(M_ 1\in {\mathcal J}\) with \(U\subseteq M_ 1\), \(M_ 1/U\) is a Sylow 2-subgroup of G/U, \(M_ 1/U\) is self-normalizing in G/U and its class is greater than 2. As a corollary one obtains that if \(G=S_ p(G)\) where p is an odd prime, then G is solvable. The structure of groups G where \(S_ p(G)=G\) is investigated further. It is proved (Theorem 1.4) that if \(S_ p(G)=G\) for any prime p then G is a Sylow tower group of supersolvable type. Theorem 1.7: if G is any group of odd order and p any prime such that (i) \(S_ p(G)\) is cyclic and (ii) \(S_ p(G)\cap H\neq <1>\) for each non- trivial subgroup H of G, then G is supersolvable. Theorem 1.8: If G satisfies the property that for any subgroups H, K, L of G such that \(L=HK\), one has \(S_ p(L)=S_ p(H)S_ p(K)\), then G is a Sylow tower group of supersolvable type.