Write . If with , then , hence . The characteristic polynomial splits over and has degree , soThere is indeed an eigenvector for the eigenvalue zero: a nonzero vector in the last nonzero image of lies in its kernel of a linear map. For the bound, choose with , using minimality. The vectors are linearly independent. Otherwise choose the least with nonzero coefficient in a relation and apply ; only its nonzero multiple of survives, a contradiction. Therefore .
Articles by others on the same topic
There are currently no matching articles.