3.II.19G

Representation Theory
Part II, 2008

Let V2V_{2} denote the irreducible representation Sym2(C2)\operatorname{Sym}^{2}\left(\mathbb{C}^{2}\right) of SU(2)S U(2); thus V2V_{2} has dimension 3. Compute the character of the representation Symn(V2)\operatorname{Sym}^{n}\left(V_{2}\right) of SU(2)S U(2) for any n0n \geqslant 0. Compute the dimension of the invariants Symn(V2)SU(2)\operatorname{Sym}^{n}\left(V_{2}\right)^{S U(2)}, meaning the subspace of Symn(V2)\operatorname{Sym}^{n}\left(V_{2}\right) where SU(2)S U(2) acts trivially.

Hence, or otherwise, show that the ring of complex polynomials in three variables x,y,zx, y, z which are invariant under the action of SO(3)S O(3) is a polynomial ring. Find a generator for this polynomial ring.