Paper 4, Section II, I
Define the groups and .
Show that acts on the vector space of complex matrices of the form
by conjugation. Denote the corresponding representation of on by .
Prove the following assertions about this action:
(i) The subspace is isomorphic to .
(ii) The pairing defines a positive definite non-degenerate invariant bilinear form.
(iii) The representation maps into . [You may assume that for any compact group , and any , there is a continuous group homomorphism if and only if has an -dimensional representation over .]
Write down an orthonormal basis for and use it to show that is surjective with kernel .
Use the isomorphism to write down a list of irreducible representations of in terms of irreducibles for . [Detailed explanations are not required.]