Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/ib/paper-3/7g/solution

For , commutation gives
Thus each eigenspace of is an invariant subspace for .
If , the two endomorphisms commute. The distinct real eigenvalues of have one-dimensional real eigenspaces, since their direct sum is the -dimensional vector space. Take a nonzero real eigenvector . Its eigenspace is invariant under , so for a real scalar . Squaring gives
The simple-spectrum hypothesis is essential: the real -degree rotation matrix squares to in dimension two, whose negative eigenvalue has a two-dimensional eigenspace.

New to topics? Read the docs here!