On the product of a \(\pi\)-group and a \(\pi\)-decomposable group. (Q2459989)

Let \(\pi\) be a set of primes. A group \(X\) is said to be \(\pi\)-decomposable if \(X=O_\pi(X)\times O_{\pi'}(X)\). The main result of the paper is the following Theorem 1. Let \(\pi\) be a set of odd primes and \(G=AB\), where \(A\) is \(\pi\)-decomposable and \(B\) is a \(\pi\)-subgroup. Then \(O_\pi(A)\leq O_\pi(G)\). The proof of this result is long and uses a number of classification theorems. -- Lemma 1. If \(G\) is as in Theorem 1, then the following statements are equivalent: (i) \(O_\pi(A)\leq O_\pi(G)\); (ii) \(G\) has a \(\pi\)-Hall subgroup. -- It follows that, in Theorem 1, \(G\) has a \(\pi\)-Hall-subgroup. Corollary 1. If \(G\) is as in Theorem 1, then the composition factors of \(G\) belong to one of the following types: (i) \(\pi\)-groups, (ii) \(\pi'\)-groups, (iii) \(M_{11}\), (iv) \(M_{23}\), (v) \(L_2(q)\), where either \(q=29\) or \(3<q\not\equiv1\pmod 4\), (vi) \(L_r(q)\) with an odd prime \(r\) such that \((r,q-1)=1\), (vii) \(A_r\) with \(r\geq5\) a prime.