Write . If with , then , hence . The characteristic polynomial splits over and has degree , so
There 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 (0)

There are currently no matching articles.