No label defined (Q4239012)

Let \(\mathfrak H\) be a class of finite groups. A composition formation \(\mathfrak F\) is a minimal \(S_n\)-closed non-\(\mathfrak H\)-formation, if \(\mathfrak F\) is not contained in \(\mathfrak H\) and \({\mathfrak M}\subseteq{\mathfrak H}\) for every proper \(S_n\)-closed composition subformation \(\mathfrak M\) of \(\mathfrak F\). A formation critical group \(G\) is called csn-basic if the \(S_n\)-closed composition formation generated by \(G\) has a unique maximal \(S_n\)-closed composition subformation. The main result of this paper is the following Theorem: Let \(\mathfrak H\) be a formation with the maximal \(S_n\)-closed composition screen \(h\). A formation \(\mathfrak F\) is a minimal \(S_n\)-closed non-\(\mathfrak H\)-formation if and only if it is a one-generated \(S_n\)-closed composition formation, i.e., \({\mathfrak F}=\text{csnform }G\), where \(G\) is a csn-basic group such that (1) \(G=P\) is a group of prime order, or (2) \(P=G^{h(P)}\) is a non-Abelian group and \(G\) is a normal minimal non-\(h(P)\)-group, or (3) \(G=P\leftthreetimes H\), where \(P=C_G(P)\) and \(H\neq 1\) is an sn-basic normal minimal non-\(h(P)\)-group with monolith \(Q=H^{h(P)}\) such that a maximal sn-subformation \(\mathfrak M\) of \(\text{snform }H\) is a subformation of \(h(P)\).