Misplaced Pages

Modular invariant theory

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematics, a modular invariant of a group is an invariant of a finite group acting on a vector space of positive characteristic (usually dividing the order of the group). The study of modular invariants was originated in about 1914 by Dickson (2004).

Dickson invariant

When G is the finite general linear group GLn(Fq) over the finite field Fq of order a prime power q acting on the ring Fq in the natural way, Dickson (1911) found a complete set of invariants as follows. Write for the determinant of the matrix whose entries are X
i, where e1, ..., en are non-negative integers. For example, the Moore determinant of order 3 is

| x 1 x 1 q x 1 q 2 x 2 x 2 q x 2 q 2 x 3 x 3 q x 3 q 2 | {\displaystyle {\begin{vmatrix}x_{1}&x_{1}^{q}&x_{1}^{q^{2}}\\x_{2}&x_{2}^{q}&x_{2}^{q^{2}}\\x_{3}&x_{3}^{q}&x_{3}^{q^{2}}\end{vmatrix}}}

Then under the action of an element g of GLn(Fq) these determinants are all multiplied by det(g), so they are all invariants of SLn(Fq) and the ratios  /  are invariants of GLn(Fq), called Dickson invariants. Dickson proved that the full ring of invariants Fq is a polynomial algebra over the n Dickson invariants  /  for i = 0, 1, ..., n − 1. Steinberg (1987) gave a shorter proof of Dickson's theorem.

The matrices are divisible by all non-zero linear forms in the variables Xi with coefficients in the finite field Fq. In particular the Moore determinant is a product of such linear forms, taken over 1 + q + q + ... + q representatives of (n – 1)-dimensional projective space over the field. This factorization is similar to the factorization of the Vandermonde determinant into linear factors.

See also

References

Category: