Quasithin group

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. 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

The classification of quasithin groups is a crucial part of the classification of finite simple groups. 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.

gollark: For a slightly more thingy JS example, if you see that someone does `x == 7` a lot instead of `===`, that implies that either they have gone mad from the weak typing or don't use JS a lot.
gollark: Yes it does. It can help distinguish people by showing you who uses the language frequently and who doesn't.
gollark: Anyway, more generally, you need to know the idioms of a language to know if someone *else* does.
gollark: Since basically all the JS I've seen uses the second one.
gollark: If I saw the top one (and it wasn't in an event like this where everyone will second-guess everything) I would assume that it was written by someone who used C(++) a lot.

References
  • Aschbacher, Michael; Smith, Stephen D. (2004), The classification of quasithin groups. I Structure of Strongly Quasithin K-groups, Mathematical Surveys and Monographs, 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, 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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.