Radicals in mutually permutable products of finite groups. (Q2518371)

Two subgroups \(A,B\) of a group \(G\) are said to permute if \(AB=BA\) is a subgroup of \(G\). The two subgroups \(A\) and \(B\) are called mutually permutable if every subgroup of \(A\) permutes with \(B\) and every subgroup of \(B\) permutes with \(A\). In this case, \(AB\) is called a mutually permutable product of the subgroups \(A\) and \(B\). An interesting question in this context is the following: if \(A\) and \(B\) are mutually permutable and both have some property, can this property be extended to \(G\)? The paper under review gives answers to that question in the context of Fitting classes. In fact, it studies the behaviour of the \(\mathcal F\)-radicals, associated to a Fitting class \(\mathcal F\), in mutually permutable products. The author proves that if \(\mathcal F\) is a Fitting class and \(G=AB\), where \(A\) and \(B\) are mutually permutable, then the \(\mathcal F\)-radicals \(A_{\mathcal F}\) and \(B_{\mathcal F}\) are mutually permutable and \(G'\cap A_{\mathcal F}B_{\mathcal F}\) is a subnormal subgroup of \(G\) contained in \(\mathcal F\). The proofs of the above results depend on a nice structural theorem also shown in the paper: if \(A\) and \(B\) are mutually permutable subgroups of a group \(G\) and \(\pi\) is a set of primes such that \(p\) does not divide \(q-1\) for any \(p,q\in\pi\), then the subgroup generated by all the \(\pi\)-elements of \(A\), \(O^{\pi'}(A)\), is subnormal in \(AO^{\pi'}(B)\).