Generic Sylow theorems for the reductive groups over finite fields
\(\Phi_ d(q)\)-subgroups\(\Phi_ d(x)\)-Sylow subgroups\(p\)-subgroups of finite groupsanalogues to Sylow's theoremBurnside's theoremconnected reductive linear algebraic groupscyclotomic polynomialsdirect products of cyclic subgroupselementary abelian subgroupsgroup of rational pointsmaximal torusnatural representation of Weyl groupsorder polynomialsorders of finite groupsroot systemsSylow theoremstoral subsystems
Simple, semisimple, reductive (super)algebras (17B20) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Subgroup theorems; subgroup growth (20E07) Groups with a (BN)-pair; buildings (20E42) Associated Lie structures for groups (20F40) Linear algebraic groups over finite fields (20G40)
Let \(G\) be a connected reductive linear algebraic group defined over the algebraic closure of a finite field \(F_ q\), and \(F : G \to G\) an isogeny providing a rational structure on \(F_ q\). For a given type, the order of the finite group \(G^ F\) is a polynomial in \(q\) whose irreducible factors over \(Z[q]\) contain only powers of \(q\) and cyclotomic polynomials \(\Phi_ d(q)\). In the study of the finite group \(G^ F\) it is often helpful to think of \(\Phi_ d(q)\) as a kind of prime. For instance, suppose that \(l\) is a sufficiently large prime that does not divide \(q\) but does not divide the order of \(G^ F\). The study of the representations of \(G^ F\) on an \(l\)-adic ring depends only on the cyclotomic factor of \(G^ F\) divided by \(l\), not on \(l\) itself. The authors provide a formal context for this kind of observation, by developing a theory of \(\Phi_ d(q)\)-subgroups of \(G\) analogous to that of \(p\)-subgroups of finite groups. In their theory, \(\Phi_ d(q)\)- subgroups are all ``elementary abelian, for instance. The methods resemble those associated with the study of groups of Ree, Tits, and Suzuki, with the difference that in place of cyclotomic polynomials they use products of cyclotomic polynomials over \(Z[\sqrt{2}]\) and \(Z[\sqrt{3}]\). Using ideas of \textit{M. Demazure} [Schémas en Groupes III, Lect. Notes Math. 153 (1970; Zbl 0212.528)] and \textit{J. Tits} [J. Algebra 105, 542-573 (1987; Zbl 0626.22013)], the authors obtain Sylow theorems that reduce to linear algebraic results about the natural representation of the Weyl groups for which the basis is an article of \textit{T. Springer} [Invent. Math. 25, 159-198 (1974; Zbl 0287.20043)]. After introducing the appropriate terminology and developing the preliminary theory, for the details of which the reader is referred to the paper, the authors present the main result, which is analogous to Sylow's theorem. It also generalizes Theorem 4.21 of \textit{A. Borel} and \textit{J. Tits} [Publ. Math., Inst. Hautes Étud. Sci. 27, 55-151 (1965; Zbl 0145.174)], namely, for \(G\) over \(F_ p\), the split maximal sub- tori are all conjugate under the group of rational points of \(G\). Let \(\mathcal G\) be a complete root system and \(d\) a positive integer. The authors' Sylow theorem states firstly that if \(\Phi_ d(x)\) divides the order polynomial \(O_{\mathcal G}(x)\) of \(\mathcal G\), then there is one nontrivial Sylow-type \(\Phi_ d(x)\)-subgroup of \(G\). Secondly, if \(S\) is a maximal \(\Phi_ d(x)\)-subgroup of \(G\) corresponding to a given toral subsystem \(\mathcal S\) of \(\mathcal G\), then \(O_{\mathcal S}(x)\) is actually \(\Phi_ d(x)^{a(d)}\), the contribution of \(\Phi_ d(x)\) to \(O_{\mathcal G}(x)\). Thirdly, any two maximal \(\Phi_ d(x)\)-subgroups are conjugate under \(G^ F\). Finally, if \(L = C_ G(S)\) for a maximal \(\Phi_ d(x)\)- subgroup \(S\), then \(| N_{G^ F}(S)| = | W_{\mathcal G}({\mathcal L})| O_{\mathcal L}(q)\) and \(O_{\mathcal G}(x)/(| W_{\mathcal G}({\mathcal L})| O_{\mathcal L}(x)) \equiv 1 \bmod \Phi_ d(x)\), and in particular \(| G^ F : N_{G^ F}(S)|\equiv 1\bmod \Phi_ d(x)\). The \(\Phi_ d(x)\)-Sylow subgroups are direct products of cyclic subgroups of orders \(\Phi_ d(x)\), so are naturally referred to as elementary abelian. This leads to the following analogue of Burnside's theorem for finite groups. Let \(S\) be a \(\Phi_ d(x)\)-Sylow subgroup of \(G\) and \(S'\) an \(F\)-stable subtorus of \(S\). Let \(g \in G^ F\) be such that \(S^{\prime g}\subset S\). Then there exist \(n \in N_{G^ F}(S)\) and \(Z \in C_{G^ F}(S')\) such that \(g = zn\).
- Endomorphisms of linear algebraic groups
- Groupes reductifs
- scientific article; zbMATH DE number 3906699 (Why is no real title available?)
- scientific article; zbMATH DE number 3297198 (Why is no real title available?)
- Invariants of Finite Groups Generated by Reflections
- Linear algebraic groups
- Regular elements of finite reflection groups
- Representations of reductive groups over finite fields
- The centralizers of semisimple elements of the Chevalley groups \(E_ 7\) and \(E_ 8\)
- The order of a finite group of Lie type
- Uniqueness and presentation of Kac-Moody groups over fields
- The McKay conjecture for exceptional groups and odd primes.
- Towards spetses. I
- On unipotent blocks and their ordinary characters
- On the unipotent \(l\)-blocks of finite reductive groups when \(l\) is bad
- Scopes reduction and Morita equivalence classes of blocks in finite classical groups
- The blocks and weights of finite special linear and unitary groups
- CHEVIE -- A system for computing and processing generic character tables
- Brauer's height zero conjecture for principal blocks
- Mod \(\ell\) cohomology of some Deligne-Lusztig varieties for \(\operatorname{GL}_n(q)\)
- Harish-Chandra cuspidal pairs
- Brauer trees of unipotent blocks
- On the inductive blockwise Alperin weight condition for classical groups
- Equivariant character correspondences and inductive McKay condition for type \(\mathsf{A}\)
- Equivariance and extendibility in finite reductive groups with connected center.
- Element orders and Sylow structure of finite groups.
- Nilpotent and abelian Hall subgroups in finite groups.
- Reflection Groups
- Characters of odd degree
- Coxeter orbits and Brauer trees.
- Almost irreducible tensor squares
- Arithmetical Conditions on Element Orders and Group Structure
- Imprimitive irreducible modules for finite quasisimple groups. II
- The Sylow subgroups of a finite reductive group
- On the inductive Alperin-McKay condition for simple groups of type \(\mathsf A\).
- SYLOW CLASSES OF REFLECTION SUBGROUPS AND PSEUDO-LEVI SUBGROUPS
- Alperin weight conjecture and related developments
- Imprimitive irreducible modules for finite quasisimple groups
- Inductive McKay condition for finite simple groups of type 𝖢
- Computational proof of the Mackey formula for \(q>2\).
- Height 0 characters of finite groups of Lie type
- On the prime divisors of element orders
- Counting conjectures and e-local structures in finite reductive groups
- Unitriangular basic sets, Brauer characters and coprime actions
- On the decomposition numbers of the Ree groups \(^2F_4(q^2)\) in non-defining characteristic.
- Modular representations of finite groups and Lie theory
- Weight conjectures for -compact groups and spetses
- The simplicial complex of Brauer pairs of a finite reductive group
- A local-global principle for unipotent characters
- Generic weights for finite reductive groups
- Picky elements, subnormalisers and character correspondences
- Decomposition matrices for groups of Lie type in non-defining characteristic
- Webb's conjecture and generalised Harish-Chandra theory
- Sum of the squares of the p'-character degrees
- The McKay conjecture on character degrees
- New developments in the representation theory of finite groups
- Minimum polynomials of the elements of prime order in representations of quasi-simple groups.
- Sylow \(d\)-tori of classical groups and the McKay conjecture. I.
- Sylow \(d\)-tori of classical groups and the McKay conjecture. II.
This page was built for publication: Generic Sylow theorems for the reductive groups over finite fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190810)
