3.II.19G
Let denote the irreducible representation of ; thus has dimension 3. Compute the character of the representation of for any . Compute the dimension of the invariants , meaning the subspace of where acts trivially.
Hence, or otherwise, show that the ring of complex polynomials in three variables which are invariant under the action of is a polynomial ring. Find a generator for this polynomial ring.
Typos? Please submit corrections to this page on GitHub.