Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-2/17g/a/solution

Let have order in a finite group. In a complex group representation, its matrix is diagonalizable with eigenvalues satisfying . If each with is conjugate to , the character of a representation is constant on these powers. Hence
using the stated integrality of each Ramanujan sum. Therefore is rational. It is also an algebraic integer, being a sum of roots of unity; a rational algebraic integer is an integer. Thus .
In a symmetric group, raising a permutation to a power coprime to its order preserves each cycle length and therefore its entire cycle type. Since cycle type determines the conjugacy class, the hypothesis holds, and all character values of symmetric groups are integers.

New to topics? Read the docs here!