On the \(\pi'\)-properties of a finite group possessing a Hall \(\pi\)-subgroup. (Q546213)

All groups considered in this paper are finite. Given a subgroup \(X\) of \(G\), two subgroups \(A,B\) of \(G\) are called \(X\)-commuting if there exists \(x\in X\) such that \(AB^x=B^xA\). If \(X=\{1\}\), \(X\)-commuting subgroups are precisely commuting subgroups. The authors prove the following results: Theorem 1. Consider \(X,A,B\) subgroups of \(G\) such that \(G=AB\), where \(A\) is a proper Hall \(\pi\)-subgroup, and \(X\) a normal subgroup of \(G\). Fix a prime \(q\in\pi(G)-\pi\). Suppose that for every \(p\in\pi(G)-\pi\), \(p\neq q\), the subgroup \(A\) \(X\)-permutes with every Sylow \(p\)-subgroup of \(B\). Then the following hold: 1) If \(X\) is a \(C_{\pi'}\)-subgroup then \(G\) is also \(C_{\pi'}\); 2) If \(X\) is a \(D_{\pi'}\)-subgroup then \(G\) is also \(D_{\pi'}\). Theorem 2. Consider \(X,A,B\) subgroups of \(G\) such that \(G=AB\), where \(A\) is a Hall \(\pi\)-subgroup, and \(X\) a normal subgroup of \(G\). Then the following hold: 1) If \(X\) is a \(C_{\pi'}\)-subgroup and \(A\) \(X\)-permutes with all \(p\)-closed Shmidt subgroups of \(B\) whose orders are divisible by \(p\in\pi(B)\), then \(G\) is an \(E_{\pi'}\)-group; 2) If \(X\) is a \(C_{\pi'}\)-subgroup, while \(A\) is nilpotent and \(X\)-permutes with all Shmidt subgroups of \(B\) then \(G\) is an \(E_{\pi'}\)-group; 3) If \(X\) is a \(D_{\pi}\)-subgroup (\(C_{\pi}\)-subgroup) and \(A\) \(X\)-permutes with all \(\pi\)-Shmidt subgroups of \(B\) then \(G\) is a \(D_{\pi}\)-group (\(C_{\pi}\)-group). Theorem 3. Let \(p\) be the smallest prime divisor of the order of a group \(G\). Assume that \(G=AB\) where \(A,X\) are \(p'\)-subgroups of \(G\), \(X\trianglelefteq G\) and \(A\) \(X\)-permutes with each maximal subgroup of every Sylow subgroup of \(B\). Then \(A\subseteq O_{p'}(G)\). The proofs of claim 2 of Theorem 1 and 3 of Theorem 2 depend on the classification of simple groups.