Primitive pairs of \(p\)-solvable groups. (Q994288): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q161623 |
Changed an Item |
||
Property / author | |||
Property / author: Flavell, Paul / rank | |||
Normal rank |
Revision as of 21:31, 9 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Primitive pairs of \(p\)-solvable groups. |
scientific article |
Statements
Primitive pairs of \(p\)-solvable groups. (English)
0 references
17 September 2010
0 references
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.
0 references
primitive pairs
0 references
automorphisms
0 references
nearly quadratic modules
0 references
finite simple groups
0 references
coprime actions
0 references