Definition
Finite matrix group SL_2(3)
Determinant-one matrices over F_3.
The finite matrix group consists of determinant-one matrices over the field , with matrix multiplication.
Order and nonsimplicity
The determinant divides the general linear group order by , giving elements. The scalar matrices form a proper nontrivial center, so this group is not simple.
References
- Peter J. Cameron, Notes on Classical Groups, §2.1, Theorems 2.2–2.3, pp. 15–16: orders, determinant and scalar kernels; §2.4, Theorem 2.10, pp. 20–22: simplicity.