Quasithin group
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (March 2023) |
In mathematics, a quasithin group is a finite simple group that resembles a group of Lie type of rank at most 2 over a field of characteristic 2. The classification of quasithin groups is a crucial part of the classification of finite simple groups.
More precisely it is a finite simple group of characteristic 2 type and width 2. Here characteristic 2 type means that its centralizers of involutions resemble those of groups of Lie type over fields of characteristic 2, and the width is roughly the maximal rank of an abelian group of odd order normalizing a non-trivial 2-subgroup of G. When G is a group of Lie type of characteristic 2 type, the width is usually the rank (the dimension of a maximal torus of the algebraic group).
Classification
[edit]The quasithin groups were classified in a 1221-page paper by Michael Aschbacher and Stephen D. Smith (2004, 2004b). An earlier announcement by Geoffrey Mason (1980) of the classification, on the basis of which the classification of finite simple groups was announced as finished in 1983, was premature as the unpublished manuscript (Mason 1981) of his work was incomplete and contained serious gaps.
According to Aschbacher & Smith (2004b, theorem 0.1.1), the finite simple quasithin groups of even characteristic are given by
- Groups of Lie type of characteristic 2 and rank 1 or 2, except that U5(q) only occurs for q = 4
- PSL4(2), PSL5(2), Sp6(2)
- The alternating groups on 5, 6, 8, 9, points
- PSL2(p) for p a Fermat or Mersenne prime, Lε
3(3), Lε
4(3), G2(3) - The Mathieu groups M11, M12, M22, M23, M24, The Janko groups J2, J3, J4, the Higman-Sims group, the Held group, and the Rudvalis group.
If the condition "even characteristic" is relaxed to "even type" in the sense of the revision of the classification by Daniel Gorenstein, Richard Lyons, and Ronald Solomon, then the only extra group that appears is the Janko group J1.
References
[edit]- Aschbacher, Michael; Smith, Stephen D. (2004), The classification of quasithin groups. I Structure of Strongly Quasithin K-groups, Mathematical Surveys and Monographs, vol. 111, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3410-7, MR 2097623
- Aschbacher, Michael; Smith, Stephen D. (2004b), The classification of quasithin groups. II Main theorems: the classification of simple QTKE-groups., Mathematical Surveys and Monographs, vol. 112, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3411-4, MR 2097624
- Mason, Geoffrey (1980), "Quasithin groups", in Collins, Michael J. (ed.), Finite simple groups. II, London: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], pp. 181–197, ISBN 978-0-12-181480-9, MR 0606048
- Mason, Geoffrey (1981), The classification of finite quasithin groups, U. California Santa Cruz, p. 800 (unpublished typescript)
- Solomon, Ronald (2006), "Review of The classification of quasithin groups. I, II by Aschbacher and Smith", Bulletin of the American Mathematical Society, 43: 115–121, doi:10.1090/s0273-0979-05-01071-2