If for a nonzero eigenvector , thenHence every eigenvalue satisfies . Since a complex endomorphism has an eigenvalue, zero is the only possible eigenvalue.
The Jordan normal form can contain only blocks with eigenvalue zero. Moreover,Thus the possible blocks are precisely the nilpotent Jordan blocks of sizes .
The restriction is injective because , and it is surjective because every image equals after decomposing . It is therefore a isomorphism, so and . Also . Hencehas all the required properties.
Articles by others on the same topic
There are currently no matching articles.