Finite trifactorized groups and formations (Q1977554)

The authors consider finite soluble groups of the form \(G=AB=AC=BC\), where \(A\), \(B\) and \(C\) are subgroups of \(G\). Such ``trifactorized'' groups play an important role in the theory of factorized groups, in particular when \(C\) is normal in \(G\). If \(A\) and \(B\) are nilpotent and \(C\) is subnormal in \(G\), then the nilpotent residuals of \(C\) and of \(G\) coincide. Now let \(\mathcal F\) be a saturated formation closed under subnormal subgroups and containing all finite nilpotent groups. If \(A\) and \(B\) are \(\mathcal F\)-subgroups of \(G\) and \(C\) is an \(\mathcal F\)-subnormal subgroup of \(G\), the authors give conditions under which the \(\mathcal F\)-residual of \(C\) coincides with the \(\mathcal F\)-residual of \(G\). Saturated formations \(\mathcal F\) with these properties are characterised by various properties. This implies criteria for the class \(\mathcal F\) to be closed under trifactorized groups.