Bounding the order of complex linear groups and permutation groups with selected composition factors
HTML articles powered by AMS MathViewer
- by Geoffrey R. Robinson;
- Trans. Amer. Math. Soc. 377 (2024), 2205-2230
- DOI: https://doi.org/10.1090/tran/9091
- Published electronically: January 3, 2024
- HTML | PDF | Request permission
Abstract:
Originally motivated by questions of P. Etingof (related to growth rates of tensor powers in symmetric tensor categories, see K. Coulembier, P. Etingof, and V. Ostrik [Asymptotic properties of tensor powers in symmetric tensor categories, arXiv:2301.09804, 2023]), we obtain (as usual, modulo Abelian normal subgroups) general bounds of exponential nature on the order of finite subgroups $G$ of $\operatorname {GL}(n,\mathbb {C})$ with prescribed properties. Our most general result of this nature is:
\theorem* Let $\mathbf {P}$ be a property of (isomorphism types of) finite groups which is inherited both by subgroups, and by homomorphic images. Then one and only one of the following is true:
- Every finite group has property $\mathbf {P}$.
- There is a real number $c(\mathbf {P})$ such that whenever $n$ is a positive integer and $G$ is a finite subgroup of $\operatorname {GL}(n,\mathbb {C})$ which has property $\mathbf {P}$, then $G$ has an Abelian normal subgroup $A$ with $[G:A] \leq c(\mathbf {P})^{n-1}$.
\endtheorem*
We prove this theorem as a consequence of a more precise result on properties $\mathbf {Q}$ which are inherited by normal subgroups and homomorphic images, where (using the Classification of the Finite Simple Groups), we are able to determine exactly when such a constant $c(\mathbf {Q})$ exists, and to give explicit upper bounds for it when it does. Note that since the symmetric group $\mathrm {Sym}_{n+1}$ is isomorphic to a subgroup of $\operatorname {GL}(n,\mathbb {C})$ for all $n$, the two options in the theorem are indeed mutually exclusive.
The two questions from P. Etingof concerned groups of order prime to $p$, and groups with Abelian Sylow $p$-subgroups, respectively, where $p$ is a specified prime. We are able to provide the optimal upper bound in almost every case. By placing the questions in this general framework, we are able to indicate numerous other directions to apply our methods.
References
- H. Blichfeldt, Finite collineation groups, University of Chicago Press, Chicago, 1917.
- Michael J. Collins, On Jordan’s theorem for complex linear groups, J. Group Theory 10 (2007), no. 4, 411–423. MR 2334748, DOI 10.1515/JGT.2007.032
- Michael J. Collins, Bounds for finite primitive complex linear groups, J. Algebra 319 (2008), no. 2, 759–776. MR 2381807, DOI 10.1016/j.jalgebra.2005.11.042
- K. Coulembier, P. Etingof, and V. Ostrik, Asymptotic properties of tensor powers in symmetric tensor categories, arXiv:2301.09804, 2023.
- J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, $\Bbb {ATLAS}$ of finite groups, Oxford University Press, Eynsham, 1985. Maximal subgroups and ordinary characters for simple groups; With computational assistance from J. G. Thackray. MR 827219
- Larry Dornhoff, Group representation theory. Part A: Ordinary representation theory, Pure and Applied Mathematics, vol. 7, Marcel Dekker, Inc., New York, 1971. MR 347959
- Christoph Jansen, The minimal degrees of faithful representations of the sporadic simple groups and their covering groups, LMS J. Comput. Math. 8 (2005), 122–144. MR 2153793, DOI 10.1112/S1461157000000930
- Vicente Landazuri and Gary M. Seitz, On the minimal degrees of projective representations of the finite Chevalley groups, J. Algebra 32 (1974), 418–443. MR 360852, DOI 10.1016/0021-8693(74)90150-1
- Attila Maróti, On the orders of primitive groups, J. Algebra 258 (2002), no. 2, 631–640. MR 1943938, DOI 10.1016/S0021-8693(02)00646-4
- Geoffrey R. Robinson, Bounding the size of permutation groups and complex linear groups of odd order, J. Algebra 335 (2011), 163–170. MR 2792571, DOI 10.1016/j.jalgebra.2011.03.006
- Pham Huu Tiep, Low dimensional representations of finite quasisimple groups, Groups, combinatorics & geometry (Durham, 2001) World Sci. Publ., River Edge, NJ, 2003, pp. 277–294. MR 1994973, DOI 10.1142/9789812564481_{0}017
- Boris Weisfeiler, Post-classification version of Jordan’s theorem on finite linear groups, Proc. Nat. Acad. Sci. U.S.A. 81 (1984), no. 16, , Phys. Sci., 5278–5279. MR 758425, DOI 10.1073/pnas.81.16.5278
- B. Weisfeiler, On the size and structure of finite linear groups, arXiv:1203.1960v2.
Bibliographic Information
- Geoffrey R. Robinson
- Affiliation: Institute of Mathematics, Fraser Noble Building, University of Aberdeen, Aberdeen AB24 3UE, United Kingdom
- MR Author ID: 149135
- Received by editor(s): May 23, 2023
- Received by editor(s) in revised form: September 16, 2023, and October 30, 2023
- Published electronically: January 3, 2024
- © Copyright 2024 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 377 (2024), 2205-2230
- MSC (2020): Primary 20C15; Secondary 20C20
- DOI: https://doi.org/10.1090/tran/9091
- MathSciNet review: 4745417