Order formulas for linear groups
This article gives a list of formulas for the orders of the general linear group of finite degree and some other related groups, both for a finite field of size
and for related rings.
Contents
For a finite field of size 
Formulas
In the formulas below, the field size is and the degree (order of matrices involved, dimension of vector space being acted upon) is
. The characteristic of the field is a prime number
.
is a prime power with underlying prime
. We let
, so
and
is a nonnegative integer.
In the table below, stands for the
cyclotomic polynomial evaluated at
.
Group | Symbolic notation | Order formula | Order formula (powers of ![]() |
Order formula (maximally factorized) | Degree as polynomial in ![]() |
Multiplicity of factor ![]() |
Multiplicity of factor ![]() |
Quick explanation for order |
---|---|---|---|---|---|---|---|---|
general linear group | ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
See full explanation below. |
special linear group | ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
See full explanation below. |
projective general linear group | ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
See full explanation below. |
projective special linear group | ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
See full explanation below. |
Explanation for order of general linear group
We describe here the reasoning behind the formula for the order of the general linear group .
The order equals the number of invertible matrices with entries over
. The set of uch matrices is in correpsondence with the set of ordered bases for
, the
-dimensional vector space over
(for instance, we can identify the columns of the matrix with the vectors in the ordered basis). Thus, it suffices to count the number of possible ordered bases for
.
For the first vector of the ordered basis, there are possible choices (all nonzero vectors work). For the second vector, there are
choices (all vectors that are not in the span of the first vector work). After the first
basis vectors are chosen, the number of possibilities for the next basis vector are
, because
is the size of the subspace spanned by the first
basis vectors. By the product rule in combinatorics, we get that the total number of possibilities is:
Explanation for order of special linear group
The group is the kernel of the determinant map, a surjective homomorphism from
to
. The homomorphism is surjective because for any
, we can construct a diagonal matrix with one diagonal entry
and the remaining entries equal to 1, and this maps to
under the determinant map.
Essentially by Lagrange's theorem and the first isomorphism theorem, we know that the order of the kernel is the order of the whole group divided by the order of the image. Thus:
We now use the expression obtained for and use that
.
Explanation for order of projective general linear group
The group is the quotient of
by the center of
.
The center of is the subgroup of scalar matrices (see center of general linear group is group of scalar matrices over center), and is isomorphic to
.
Thus, by Lagrange's theorem, the order of the quotient is:
We now use the expression obtained for and use that
.
Explanation for projective special linear group
The group is the quotient group of
by its intersection with the center of
.
The intersection of and the center of
which is the subgroup of scalar matrices of determinant 1. The determinant of a
scalar matrix is the
power of the scalar value, so the intersection comprises those scalar matrices whose scalar values are
roots of unity. Since
is cyclic of order
(see multiplicative group of a finite field is cyclic), the number of such elements is
.
Thus, the kernel of the quotient map from to
has order
. We thus get, by Lagrange's theorem:
Simplifying this gives the expressions in the table above.