# Difference between revisions of "Order formulas for linear groups"

(→Formulas) |
(→For a finite field of size q) |
||

Line 18: | Line 18: | ||

| [[projective general linear group]] || <math>PGL(n,q)</math> or <math>PGL(n,\mathbb{F}_q)</math> || <math>\frac{\prod_{i=0}^{n-1} (q^n - q^i)}{q - 1}</math> || <math>q^{\binom{n}{2}} \prod_{i=0}^{n-2} (q^{n-i} - 1)</math> || <math>q^{\binom{n}{2}} (q - 1)^{n - 1} \prod_{d=2}^n (\Phi_d(q))^{\lfloor n/d \rfloor}</math> || <math>n^2 - 1</math> || <math>\binom{n}{2} = \frac{n(n- 1)}{2}</math> || <math>n - 1</math> || See full explanation below. | | [[projective general linear group]] || <math>PGL(n,q)</math> or <math>PGL(n,\mathbb{F}_q)</math> || <math>\frac{\prod_{i=0}^{n-1} (q^n - q^i)}{q - 1}</math> || <math>q^{\binom{n}{2}} \prod_{i=0}^{n-2} (q^{n-i} - 1)</math> || <math>q^{\binom{n}{2}} (q - 1)^{n - 1} \prod_{d=2}^n (\Phi_d(q))^{\lfloor n/d \rfloor}</math> || <math>n^2 - 1</math> || <math>\binom{n}{2} = \frac{n(n- 1)}{2}</math> || <math>n - 1</math> || See full explanation below. | ||

|- | |- | ||

− | | [[projective | + | | [[projective special linear group]] || <math>PSL(n,q)</math> or <math>PSL(n,\mathbb{F}_q)</math> || <math>\frac{\prod_{i=0}^{n-1} (q^n - q^i)}{(q - 1)\operatorname{gcd}(n,q-1)}</math> || <math>q^{\binom{n}{2}} \frac{\prod_{i=0}^{n-2} (q^{n-i} - 1)}{\operatorname{gcd}(n,q-1)}</math> || <math>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)}</math> || <math>n^2 - 1</math> (ignoring gcd term) || <math>\binom{n}{2} = \frac{n(n- 1)}{2}</math> || <math>n - 1</math> (ignoring gcd term)|| See full explanation below. |

|} | |} | ||

## Revision as of 02:20, 24 November 2017

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 taken out) | Order formula (maximally factorized) | Degree as polynomial in (same as algebraic dimension) | Multiplicity of factor | Multiplicity of factor | Quick explanation for order |
---|---|---|---|---|---|---|---|---|

general linear group | or | See full explanation below. | ||||||

special linear group | or | See full explanation below. | ||||||

projective general linear group | or | See full explanation below. | ||||||

projective special linear group | or | (ignoring gcd term) | (ignoring gcd term) | 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.