Chevalley–Shephard–Todd theorem


In mathematics, the Chevalley–Shephard–Todd theorem in invariant theory of finite groups states that the ring of invariants of a finite group acting on a complex vector space is a polynomial ring if and only if the group is generated by pseudoreflections. In the case of subgroups of the complex general linear group the theorem was first proved by who gave a case-by-case proof. soon afterwards gave a uniform proof. It has been extended to finite linear groups over an arbitrary field in the non-modular case by Jean-Pierre Serre.

Statement of the theorem

Let V be a finite-dimensional vector space over a field K and let G be a finite subgroup of the general linear group GL. An element s of GL is called a pseudoreflection if it fixes a codimension 1 subspace of V and is not the identity transformation I, or equivalently, if the kernel Ker has codimension one in V. Assume that the order of G is relatively prime to the characteristic of K. Then the following properties are equivalent:
In the case when the field K is the field C of complex numbers, the first condition is usually stated as "G is a complex reflection group". Shephard and Todd derived a full classification of such groups.

Examples

gave an extension of the Chevalley–Shephard–Todd theorem to positive characteristic.
There has been much work on the question of when a reductive algebraic group acting on a vector
space has a polynomial ring of invariants. In the case when the algebraic group is simple all cases when the invariant ring is polynomial have been classified by
In general, the ring of invariants of a finite group acting linearly on a complex vector space is Cohen-Macaulay, so it is a finite rank free module over a polynomial subring.