Dickson algebra

Let denote the field with elements (cf. Finite field) and an -dimensional -vector space (cf. also Vector space). Let denote the symmetric algebra generated by over . Since the general linear group, , acts on , there is an induced action on the algebra . L.E. Dickson determined the structure of the -fixed subalgebra, , now known as the Dickson algebra. In [a5] (see also [a2], p. 90) was shown to be a polynomial algebra of the form where the are homogeneous polynomials in , called the Dickson invariants (sometimes this term is used to refer to any element of the Dickson algebra), and are constructed in the following manner. Let be a field extension of which contains (cf. also Extension of a field). Then the monic separable polynomial whose roots are precisely the elements of has the form

Suppose that is an -dimensional -vector space ( a prime number). When , the cohomology algebra is isomorphic to . Therefore, over it is natural to endow with the structure of a graded algebra with of dimension one if and of dimension two if is odd.

In this topological manifestation, the Dickson algebra has proved very useful ([a1], [a4], [a8], [a10]). For example, if is the real regular representation of and , then the Stiefel–Whitney class satisfies [a7]. When is odd, is related in a similar manner to Chern classes of the regular representation. The observation shows that the Dickson algebra becomes a graded algebra together with an action by the Steenrod algebra of cohomology operations. In algebraic topology, several other algebras of this type occur, among these the lambda algebra and the Dyer–Lashof algebra of homology operations and are related to the Dickson algebra ([a6], [a9], [a10]).

The corresponding algebras of invariants have been computed when is replaced by a special linear group, an orthogonal group, a unitary group or a symplectic group ([a2], p. 92, [a3]).

References

[a1]	J.F. Adams, C.W. Wilkerson, "Finite H-spaces and algebras over the Steenrod algebra" Ann. Math. , 111 (1980) pp. 95–143
[a2]	D. Benson, "Polynomial invariants of finite groups" , London Math. Soc. Lecture Notes , 190 , Cambridge Univ. Press (1993)
[a3]	D. Carlisle, P. Kropholler, "Rational invariants of certain orthogonal and unitary groups" Bull. London Math. Soc. , 24 : 1 (1992) pp. 57–60
[a4]	H.A.E. Campbell, I. Highes, R.D. Pollack, "Rings of invariants and -Sylow subgroups" Canad. Bull. Math. , 34 (1991) pp. 42–47
[a5]	L.E. Dickson, "A fundamental system of invariants of the general modular linear group with a solution of the form problem" Trans. Amer. Math. Soc. , 12 (1911) pp. 75–98
[a6]	I. Madsen, "On the action of the Dyer–Lashof algebra on " Pacific J. Math. , 60 (1975) pp. 235–275
[a7]	D.G. Quillen, "The mod two cohomology rings of extra-special -groups and the Spinor groups" Math. Ann. , 194 (1971) pp. 197–212
[a8]	L. Smith, R. Switzer, "Realizability and nonrealizability of Dickson algebras as cohomology rings" Proc. Amer. Math. Soc. , 89 (1983) pp. 303–313
[a9]	W.M. Singer, "Invariant theory and the lambda algebra" Trans. Amer. Math. Soc. , 280 (1983) pp. 673–693
[a10]	C.W. Wilkerson, "A primer on the Dickson invariants" Contemp. Math. , 19 (1983) pp. 421–434