Solution

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

Over , the operator representing has an eigenvector with eigenvalue . The relation gives
Therefore is a nonzero -invariant subspace of dimension at most two. If is irreducible it equals this subspace, so .

New to topics? Read the docs here!