Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-137/2/i/solution

Write and , where is the character group of a finite abelian group. The Fundamental theorem of finitely generated abelian groups writes the finite group as a product of cyclic groups. A character of a cyclic group factor of order is determined by an arbitrary th root of unity, so . This description also shows that the characters separate points: if , a nonzero coordinate of is detected by a character with .
Multiplication by permutes , so
For this forces . For every summand is one. Since , the character-sum cancellation lemma gives
All character values are roots of unity, so inversion here is also complex conjugation. This is the finite-abelian version of character orthogonality.

New to topics? Read the docs here!