Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-4/19i/c/solution

Let
For define
Conjugation preserves trace, and unitarity gives
so is invariant. This gives a continuous real-linear representation .

New to topics? Read the docs here!