Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2010/algebra/1/c/solution

The polynomials and are coprime. Bézout's identity gives polynomials with . Set
For every , the decomposition
has first summand in and second in , since and polynomial expressions in commute. If belongs to both kernels, the same Bézout identity gives . Thus . Both vector subspaces are invariant under .
On , the restriction of is nilpotent; on , the restriction of is nilpotent. Apply (b) separately, then concatenate the two bases. This yields
where are strictly upper triangular. Empty blocks are allowed if one subspace is zero. In particular has precisely the required diagonal.

New to topics? Read the docs here!