B1.6
Part II, 2003
Define the inner product of two class functions from the finite group into the complex numbers. Prove that characters of the irreducible representations of form an orthonormal basis for the space of class functions.
Consider the representation of the symmetric group by permutation matrices. Show that splits as a direct sum where 1 denotes the trivial representation. Is the -dimensional representation irreducible?