Primitive pairs of \(p\)-solvable groups. (Q994288): Difference between revisions

Several technical results on coprime action on finite groups are presented, which lead in the end to the very pleasant Corollary E, to be stated below. Let \(G\) be a finite simple group, let \(R\) be a group acting coprimely on \(G\) and fix a prime \(p\). Assume \(M\) to be a subgroup of \(G\) with the following properties: 1) \(M\) is a maximal \(R\)-invariant subgroup of \(G\); 2) \(C_M(O_p(M))\leqslant O_p(M)\); 3) \(M\) is \(p\)-solvable; 4) \(C_G(R)\leqslant M\). If \(O_p(G;R)\) denotes the intersection of all \(R\)-invariant Sylow \(p\)-subgroups of \(G\), then \(N_G(O_p(G;R))\leqslant M\) and, moreover, \(M\) is the unique subgroup of \(G\) with the above properties. A proof of a technical result on weak primitive pairs (Theorem A) of \textit{U. Meierfrankenfeld} and \textit{B. Stellmacher} [Trans. Am. Math. Soc. 361, No. 5, 2509-2525 (2009; Zbl 1234.20026); J. Algebra 319, No. 11, 4798-4843 (2008; Zbl 1153.20003)] is included also, and it is used in conjunction with the author's own Theorem B on coprime action on \(p\)-solvable groups to derive several important corollaries.