The \(D_\pi\)-property on products of \(\pi\)-decomposable groups (Q2219814)

Consider a set of primes \(\pi\). A finite group \(G\) is said to be \emph{\(\pi\)-decomposable} if \(G\) can be expressed as a direct product \(G=G_\pi\times G_{\pi'}\) of a \(\pi\)-subgroup \(G_{\pi}\) and a \(\pi'\)-subgroup \(G_{\pi'}\). The main theorem of this paper shows that if \(\pi\) is a set of odd primes and the finite group \(G=AB\) is the product of two \(\pi\)-decomposable subgroups \(A=A_\pi\times A_{\pi'}\) and \(B=B_\pi\times B_{\pi'}\), then \(G\) possesses a unique conjugacy class of Hall \(\pi\)-subgroups and every \(\pi\)-subgroup of \(G\) is contained in a Hall \(\pi\)-subgroup, in other words, \(G\) satisfies the property \(D_{\pi}\). The analysis of the finite simple groups is essential in the proof.