Past exam of the linear algebra course of the University of Oxford / 2023 / 2 / b

The increments ${\Delta }_i=d_i-d_{i-1}$ are positive integers by part (a)(i), are nonincreasing by part (a)(ii), and sum to $d_m=4$. Thus they form an integer partition of $4$. The complete list is $(4)$, $(3,1)$, $(2,2)$, $(2,1,1)$, and $(1,1,1,1)$.

To prove all five occur over every field, let $J_s(0)$ be a Nilpotent Jordan block of size $s$. It sends each standard basis vector to its predecessor, with the first sent to zero, soFor a block diagonal matrix, the nullities add. The following explicit nilpotent matrices therefore realize every possible sequence:In each row the largest Jordan block size is exactly the nilpotency index $m$, so the displayed sequence stops at the correct place.