Prefactorized subgroups in pairwise mutually permutable products. (Q383820)

A group \(G\) is said to be factorized by its subgroups \(A\) and \(B\) if \(G=AB\). A subgroup \(S\) of \(G=AB\) is called prefactorized if \(S=(S\cap A)(S\cap B)\). The main result of this paper is (Theorems 1 and 2): Let the finite group \(G=G_1G_2\cdots G_k\) be factorized by mutually permutable subgroups \(G_1,G_2,\ldots,G_k\). Then (a) If \(\pi\subseteq\pi(G)\), the subgroup generated by all \(\pi\)-elements of \(G\) is prefactorized in \(G\), (b) \(G^p=\langle x^p\mid x\in G\rangle\) is prefeactorized in \(G\) for each \(p\in\pi(G)\). (c) If \(M\) and \(N\) are prefactorized normal subgroups of \(G\) and \(N\) has exponent \(p\) (\(p\in\pi(G)\)), then also \([M,N]\) is prefactorized in \(G\). (d) If \(\mathfrak F\) is a saturated formation of soluble groups, then \(G^{\mathfrak F}\), the \(\mathfrak F\)-residual of \(G\), is prefactorized.