Locally constructed formations (Q581667)

A formation \({\mathfrak F}\) of finite solvable groups is saturated (totally nonsaturated or TN) if for a minimal subgroup M in a group G, G/M\(\in {\mathfrak F}\) but \(G\not\in {\mathfrak F}\) implies that M is complemented (Frattini). The author introduces the TN-formations for finite solvable groups and a generalized prefrattini subgroup that generates the residual for these formations in an earlier work [ibid. 48, 199-207 (1987; Zbl 0607.20008)]. Let f(\({\mathfrak F})\) be the class of all finite solvable groups in which for each chief factor H/K of the group G, [H/K] \((G/C_ G(H/K))\in {\mathfrak F}\) and s(\({\mathfrak F})\) that class of groups in which the \({\mathcal F}\)-residual is contained in the Frattini subgroup. Then for \({\mathfrak F}\) being either saturated or TN, f(\({\mathfrak F})=s({\mathfrak F})\). The purpose of this article is to carefully examine these properties which are common to both the saturated and TN-formations. For this purpose, the author considers a set \(\{\) T(p)\(\}\) of formations, the class \(F_ p\) in which each \(Aut_ G(H/K)\in T(p)\) for each p-chief factor H/K in G, the set \(H_ p\) of groups in which each p-chief factor of G below the T(p)-residual is complemented, and \(L_ p=F_ p\cap H_ p\). The formation \({\mathfrak F}=\cap_{p}L_ p\) is said to be locally connected from the set \(\{\) T(p)\(\}\). It follows that a formation \({\mathfrak F}\) is locally constructed if and only if \({\mathfrak F}\) is the intersection of a saturated formation and a TN-formation. Through the use of generalized definition for abnormality introduced by A. Mann for arbitrary homomorphs, the author proves that s(\({\mathfrak G})\) is in general a Schunck class for an arbitrary formation \({\mathfrak G}\). This Schunck class is a formation if and only if \({\mathfrak G}\) is locally constructed. An alternative local definition is introduced that leads to the fact that a formation \({\mathfrak F}\) is locally constructed if and only if s(\({\mathfrak F})=f({\mathfrak F})\). The author concludes his investigation by relating the generalized prefrattini subgroups that arise naturally with respect to the TN-formations with cover-avoid properties to the existence of locally constructed formations. The principle features are brought to the fore through examples and a careful presentation.