Definition
Finite general linear group GL_1(q)
Invertible matrices over F_q.
Let , with prime and an integer, and choose the finite field . The general linear group is the group of invertible matrices over , with matrix multiplication.
Order
The group order is . For an invertible matrix, choose ordered linearly independent columns: after choices, precisely vectors are forbidden for the next column.
Simplicity conditions
This is the multiplicative group . The multiplicative group of a finite field is cyclic, so it is simple exactly when is prime. For , it is the trivial group and is not simple.
Field and category convention
The parameter must be a prime power. This is a finite abstract group; the field and its vector space supply a construction, rather than a vector-space structure on the matrix group itself.
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.