Nilpotent endomorphism/Successive kernels/Fact

Let be a field and let denote a finite-dimensional -vector space. Let

be a nilpotent linear mapping. Let

and suppose that is minimal with this property.

Then, between the linear subspaces

the relation

holds, and the inclusions

are strict for

.