Trigonalizable/Flag via generalized eigenspaces/Exercise
Let
be a trigonalizable endomorphism, and let
denote the direct sum decomposition into generalized eigenspaces in the sense of fact. Show that there exists a -invariant flag such that, in this flag, the linear subspaces
for occur.