Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-137/2/i/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 137 2 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
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 , soFor this forces . For every summand is one. Since , the character-sum cancellation lemma givesAll 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!