Solution

ID: past-exam-of-the-groups-and-representations-course-of-the-university-of-oxford/2021/1/a/solution

Let on the tensor product . The linear map commutes with , so preserves its and eigenspaces, namely the symmetric square and the exterior square . Restricting the tensor product representation to these invariant subspaces defines and . The representation identity follows by restricting .
For a finite group, has finite order , so . Over the complex numbers, the polynomial has distinct roots; hence is diagonalizable. Choose an eigenbasis with eigenvalues . A basis of the symmetric square consists of and for . A basis of the exterior square consists of for . Their eigenvalues are respectively and . Taking traces,
But and . Thus the characters are
At , these also give the dimensions and .

New to topics? Read the docs here!