Nilpotenter Endomorphismus/Sukzessive Kerne/Fakt

Es sei ein Körper und es sei ein endlichdimensionaler -Vektorraum. Es sei

eine nilpotente lineare Abbildung. Es sei

und minimal mit dieser Eigenschaft.

Dann besteht zwischen den Untervektorräumen

die Beziehung

und die Inklusionen

sind echt für .