Order formulas for linear groups

This article gives a list of formulas for the orders of the general linear group of finite degree $n\geq 1$ and some other related groups, both for a finite field of size $q$ and for related rings.

For a finite field of size $q$

Formulas

In the formulas below, the field size is $q$ and the degree (order of matrices involved, dimension of vector space being acted upon) is $n$. The characteristic of the field is a prime number $p$. $q$ is a prime power with underlying prime $p$. We let $r=\log _{p}q$, so $q=p^{r}$ and $r$ is a nonnegative integer.

Group	Symbolic notation	Order formula	Order formula (powers of $q$ taken out)	Order formula (maximally factorized)	Degree as polynomial in $q$ (same as algebraic dimension)	Multiplicity of factor $q$	Multiplicity of factor $q-1$	Quick explanation for order
general linear group	$GL(n,q)$ or $GL(n,\mathbb {F} _{q})$	$\prod _{i=0}^{n-1}(q^{n}-q^{i})$	$q^{\binom {n}{2}}\prod _{i=0}^{n-1}(q^{n-i}-1)$	$q^{\binom {n}{2}}\prod _{d=1}^{n}(\Phi _{d}(q))^{\lfloor n/d\rfloor }$	$n^{2}$	${\binom {n}{2}}={\frac {n(n-1)}{2}}$	$n$	[SHOW MORE] The size is the number of ordered bases of a $n$-dimensional vector space over $\mathbb {F} _{q}$. For the first vector, there are $q^{n}-1$ possible choices (all nonzero vectors work). For the second vector, there are $q^{n}-q$ choices (all vectors that are not in the span of the first vector work), and so on. The product rule of combinatorics gives a total of $(q^{n}-1)(q^{n}-q)\dots (q^{n}-q^{n-1})$ possibilities.
special linear group	$SL(n,q)$ or $SL(n,\mathbb {F} _{q})$	${\frac {\prod _{i=0}^{n-1}(q^{n}-q^{i})}{q-1}}$	$q^{\binom {n}{2}}\prod _{i=0}^{n-2}(q^{n-i}-1)$	$q^{\binom {n}{2}}(q-1)^{n-1}\prod _{d=2}^{n}(\Phi _{d}(q))^{\lfloor n/d\rfloor }$	$n^{2}-1$	${\binom {n}{2}}={\frac {n(n-1)}{2}}$	$n-1$	[SHOW MORE] The group is the kernel of the determinant map, a surjective homomorphism from $GL(n,q)$ to $\mathbb {F} _{q}^{\ast }$. Its order is thus $|GL(n,q)|/|\mathbb {F} _{q}^{\ast }|$.
projective general linear group	$PGL(n,q)$ or $PGL(n,\mathbb {F} _{q})$	${\frac {\prod _{i=0}^{n-1}(q^{n}-q^{i})}{q-1}}$	$q^{\binom {n}{2}}\prod _{i=0}^{n-2}(q^{n-i}-1)$	$q^{\binom {n}{2}}(q-1)^{n-1}\prod _{d=2}^{n}(\Phi _{d}(q))^{\lfloor n/d\rfloor }$	$n^{2}-1$	${\binom {n}{2}}={\frac {n(n-1)}{2}}$	$n-1$	[SHOW MORE] The group is the quotient of $GL(n,q)$ by the center, which is the subgroup of scalar matrices, and is isomorphic to $\mathbb {F} _{q}^{\ast }$. Its order is thus $|GL(n,q)|/|\mathbb {F} _{q}^{\ast }|$.
projective general linear group	$PGL(n,q)$ or $PGL(n,\mathbb {F} _{q})$	${\frac {\prod _{i=0}^{n-1}(q^{n}-q^{i})}{(q-1)\operatorname {gcd} (n,q-1)}}$	$q^{\binom {n}{2}}{\frac {\prod _{i=0}^{n-2}(q^{n-i}-1)}{\operatorname {gcd} (n,q-1)}}$	$q^{\binom {n}{2}}{\frac {(q-1)^{n-1}\prod _{d=2}^{n}(\Phi _{d}(q))^{\lfloor n/d\rfloor }}{\operatorname {gcd} (n,q-1)}}$	$n^{2}-1$ (ignoring gcd term)	${\binom {n}{2}}={\frac {n(n-1)}{2}}$	$n-1$ (ignoring gcd term)	[SHOW MORE] The group is the quotient of $SL(n,q)$ by its intersection with the center, which is the subgroup of scalar matrices of determinant 1, and this group is cyclic of order $\operatorname {gcd} (n,q-1)$. Its order is thus $|SL(n,q)|/\operatorname {gcd} (n,q-1)$.