No label defined (Q4240510)

It is well-known that a finite group which is the product of two (even normal) supersoluble subgroups is in general not supersoluble. Thus, if the finite group \(G=HK\) is the product of two subgroups \(H\) and \(K\) which belong to a formation \(\mathcal F\), the question arises under which additional conditions the factorized group \(G\) belongs likewise to \(\mathcal F\). The authors give a survey of some results of their own and others which ensure that \(G\) is an \(\mathcal F\)-group provided that the two subgroups \(H\) and \(K\) are totally permutable (i.e., every subgroup of \(H\) permutes with every subgroup of \(K\)) or mutually permutable (i.e., \(H\) commutes with every subgroup of \(K\) and \(K\) commutes with every subgroup of \(H\)). The questions when the \(\mathcal F\)-residual \(G^{\mathcal F}\) satisfies \(G^{\mathcal F}=H^{\mathcal F}K^{\mathcal F}\) and when the product of two \(\mathcal F\)-projectors of \(H\) and \(K\) is an \(\mathcal F\)-projector of \(G\) are also considered. For the entire collection see [Zbl 0908.00017].