On formations of finite groups with the generalised Wielandt property for residuals. (Q403601)

If \(\mathfrak F\) is a formation of finite groups, the \(\mathfrak F\)-residual of a finite group \(G\) is the smallest normal subgroup \(G^{\mathfrak F}\) of \(G\) such that \(G/G^{\mathfrak F}\) belongs to \(\mathfrak F\). A formation \(\mathfrak F\) is said to have the \textit{Wielandt property} for residuals if \(G^{\mathfrak F}=\langle A^{\mathfrak F},B^{\mathfrak F}\rangle\) whenever \(A\) and \(B\) are subnormal subgroups of the finite group \(G\) such that \(G=\langle A,B\rangle\). Every formation with this property is a Fitting class, and it is an open question whether all Fitting formations have the Wielandt property for residuals. If \(\mathfrak F\) is a formation, a maximal subgroup \(M\) of a finite group \(G\) is \textit{\(\mathfrak F\)-normal} if the factor group \(G/M_G\) belongs to \(\mathfrak F\), and a subgroup \(X\) of \(G\) is called \textit{\(\mathfrak F\)-subnormal} if there is a finite chain \(X=X_0<X_1<\cdots<X_k=G\) such that \(X_i\) is a maximal \(\mathfrak F\)-normal subgroup of \(X_{i+1}\) for each \(i=0,1,\ldots,k-1\). The formation \(\mathfrak F\) is said to have the \textit{generalized Wielandt property} for residuals if \(G^{\mathfrak F}=\langle A^{\mathfrak F},B^{\mathfrak F}\rangle\) whenever \(A\) and \(B\) are \(\mathfrak F\)-subnormal subgroups of the finite group \(G\) such that \(G=\langle A,B\rangle\). In this very interesting paper, the authors prove that every formation of finite groups satisfying the generalized Wielandt property for residuals is saturated.