Dickson's theorem
From Groupprops
Statement
Suppose is a field of size , where is a power of an odd prime . Suppse is a generator of the multiplicative group of . Consider the subgroup of the general linear group given by:
.
Then, one of these cases holds:
- , i.e., is the entire special linear group.
- , and is a quasisimple group of order , with isomorphic to the alternating group of degree five.
In either case, contains a subgroup isomorphic to SL(2,3).
Related facts
- upper-triangular and lower-triangular unipotent matrices generate free non-abelian subgroup in special linear group over integers: In , picking matrices of the above kind yields a free non-abelian subgroup with those matrices as generators. This follows from the ping-pong lemma.
References
Textbook references
- Finite Groups by Daniel Gorenstein, ISBN 0821843427, Page 44, Theorem 8.4, Chapter 2 (Some basic topics), Section 2.8 (Two-dimensional linear and projective groups), ^{More info}