Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-103/4/c/i/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 103 4 c i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Let be the averaging linear mapFor a unitary representation of a finite group, is the orthogonal projection onto the invariant subspace , and . Applying this to gives . Since , . The vector is a cyclic vector for a group representation, so its translates span , and every translate also has projection zero. Thus andThis is the cyclic eigenvector obstruction to invariant vectors. Unitarity also gives a direct proof by pairing with an invariant vector and then pairing every translate; the averaging proof makes the role of cyclicity especially transparent.
New to topics? Read the docs here!