Endomorphism/Trigonalizable/Direct sum/Fact

Let

be a trigonalizable -endomorphism on the finite-dimensional -vector space .

Then is the

direct sum of the generalized eigenspaces, that is,

where are the different eigenvalues of , and is the direct sum of the restrictions

on the generalized eigenspaces.