Order formulas for symplectic groups
This article describes order formulas for the symplectic group of finite degree over a finite field and its variants.
For a finite field of size
In the formulas below, the field size is and the degree (order of matrices involved, dimension of vector space being acted upon) is . It's easier to write the formulas in terms of rather than . 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 (note||Multiplicity of factor||Quick explanation for order|
|symplectic group||or||See full explanation below.|
|projective symplectic group||or||See full explanation below.|
Explanation for order of symplectic group
We describe here the reasoning behind the formula for the order of the general linear group .
The order equals the number of choices of basis for where the basis is an ordered symplectic basis: the basis comes in the form of an ordered collection of ordered pairs. The conditions are as follows: with respect to the original symplectic form, the two-dimensional subspaces spanned by these are mutually orthogonal, and the form applied to the first and second vector within each pair gives the value 1.
The order of the symplectic group is the number of possible pairs of this sort.
For the first vector (say ) of the first pair, there are choices. Let's say is the second vector of the first pair. The bilinear form gives a linear functional which is nonzero. We want to be in the pre-image of 1 under this functional. The pre-image of any field element under a linear functional is an affine subspace of codimension one, which means there are possibilities. The number of possibilities for the first pair are thus .
Once the first pair is chosen, all the remaining pairs must be chosen from the -dimensional subspace orthogonal to its span, and within that space, everything proceeds exactly the same way as if w were solving the original problem for instead of . In other words, we have:
Carrying through the induction, and noting that , we have:
Collecting the powers of , we note that the exponents are . They add up to , because , so we get:
Explanation for order of projective symplectic group
The center of the symplectic group is trivial in characteristic two, and isomorphic to cyclic group:Z2 (the 1 and -1 scalar matrices) otherwise. The order is thus equal to that of the symplectic group in characteristic two, and half the order of the symplectic group otherwise. A simply way of writing this is:
|Order formula for|