Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/19j/a/solution

Start with any positive-definite Hermitian inner product on and average it over the finite group:
This remains positive definite. For , reindexing gives
so the form is -invariant.
Choose an orthonormal basis for . In this basis every preserves the standard Hermitian form and is therefore unitary. If is the change-of-basis matrix, then
defines an isomorphic representation with .

New to topics? Read the docs here!