Solution
Since and commute, stabilizes the eigenspaces of If is an eigenvalue of then the hypothesis on ensures maps vectors of to zero. If is a nonzero eigenvalue of then the restriction of on the corresponding eigenspace of has as an annihilator, a polynomial with complex roots of multiplicity hence is diagonalizable. We conclude by noting decomposes into eigenspaces of by diagonalizability of

No messages yet.