On c-formations with nilpotent premaximal c-subformations (Q5951074)

A screen \(f\) is a mapping on a collection \(\mathcal C\) of finite groups such that (1) \(f(S)=f(T)\) implies \(S\cong T\), (2) \(f(1)={\mathcal C}\) , and \(f(S)\subseteq f(S^\phi)\cap f(\ker(\phi))\) for each \(\phi\in\text{Epi}(S)\). If \(\mathcal C\) consists of the simple groups associated with the composition factors, then \(\mathcal C\) is a composition screen (c-screen) in which case \(f(G)=\bigcap f(A)\) for \(A\) ranging over the composition factors. A composition formation \(\mathfrak F\) (c-formation) admits a c-screen. The formation \(\mathfrak H\) is maximal as a c-subformation of a c-formation \(\mathfrak F\) if for any c-formation \(\mathfrak L\), \({\mathfrak H}\subseteq{\mathfrak L}\subset{\mathfrak F}\) implies \({\mathfrak H}={\mathfrak L}\). The author focuses attention on a pre-maximal c-subformation \(\mathfrak G\) of a c-formation \(\mathfrak F\), that is \(\mathfrak G\) is a maximal c-formation of a maximal c-subformation in \(\mathfrak F\). The principal result in this article is the complete characterization of all nonsolvable c-formations \(\mathfrak F\) in which each premaximal c-subformation is nilpotent. This occurs only if \({\mathfrak F}=\text{cform}(G)\) for which \(G\) satisfies at least one of a derived set of conditions each of which relates to monolithic groups, that is groups possessing precisely one minimal normal subgroup (the monolith). From among these, \(G\) is a monolithic group with nonabelian monolith \(G^{\mathfrak N}\), \(\mathfrak N\) the formation of nilpotent groups or \(G\) is a monolithic group with nonabelian monolith \(P\) and \(\text{cform}(G/P)\) is an \({\mathfrak N}_c\)-critical formation, a non-nilpotent c-formation all of whose proper c-formations are nilpotent.