Local formations of finite groups (Q805737)

``Do there exist local products on nonlocal formations of finite groups?'' [\textit{A. N. Skiba} and \textit{L. A. Shemetkov}: Kourovka Notebook: Unsolved problems of group theory, Novosibirsk (1984; Zbl 0552.20001), question 9.58.] The author gives an affirmative answer. For a simple group P, a group G is c-primary of type P if all composition factors of G are isomorphic to P. Nontrivial groups A, B are relatively c-simple if no simple subnormal section of A is isomorphic to a subnormal section of B. Classes \({\mathfrak X}_ 1\) and \({\mathfrak X}_ 2\) are relatively c-simple if each two nontrivial groups \(A\in {\mathfrak X}_ 1\) and \(B\in {\mathfrak X}_ 2\) are relatively c-simple. The main result considers a simple nonabelian group A, \(\pi =\pi (A)\), \({\mathfrak H}=form(A)\), \({\mathfrak N}\) the class of all c-primary groups of type A, a natural number n, and \({\mathfrak L}\) a local formation such that \({\mathfrak L}\) and \({\mathfrak N}\) are relatively simple. Then (1) \({\mathfrak H}^ n\) is a nonlocal Fitting formation, (2) \({\mathfrak X}_ n={\mathfrak L}\times {\mathfrak H}^ n\) is a nonlocal formation, and (3) if \(\pi\subseteq \pi ({\mathfrak L})\), then the formational product \(B={\mathfrak X}_ n{\mathfrak N}\) is a local formation, and \({\mathfrak B}={\mathfrak L}{\mathfrak N}={\mathfrak X}_ k{\mathfrak N}\) for some integer k.