theorems of special linear group over a finite field
Let be the finite field with elements, and consider the special linear group over the field .
- 1.
is finite. Furthermore, .
- 2.
is a perfect group
, meaning that , where is the commutator bracket with two exceptions: and .