Suppose has a nonzero eigenvalue and corresponding vector . Then , soFor a diagonalizable endomorphism , its eigenspace decomposition shows . The displayed equations therefore contradict diagonalizability of .
Thus no has a nonzero eigenvalue. Each is diagonalizable over the algebraically closed field, so each is the zero endomorphism. Hence for every , proving
Articles by others on the same topic
There are currently no matching articles.