Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2020/paper-1/10/c/solution

For a finite group over the complex numbers, the sum of the squared dimensions of its inequivalent irreducible representations equals the group order. There is always a one-dimensional trivial representation, and part (b) supplies an irreducible representation of dimension three. Thus the remaining squared dimensions sum to
They must be two further dimensions equal to one. Hence
The number of inequivalent irreducible representations equals the number of conjugacy classes, so has four classes. There are only three cycle types in part (a); consequently cycle type cannot classify conjugacy within .
More explicitly, the identity is a singleton class, and conjugation by three-cycles permutes the three double transpositions transitively. For a three-cycle, the centralizer in consists of its three powers, so its conjugacy class has elements. The eight three-cycles therefore split into two classes of four:
For example, and have the same cycle type but are not conjugate in . Any permutation conjugating the first to its inverse must fix its unique fixed vertex and reverse the orientation of the remaining three labels, so it is odd. They are conjugate in , illustrating exactly why restricting the ambient group changes the answer.

New to topics? Read the docs here!