Endomorphism/Polynomial/Eigenvector/Fact

Let be a finite-dimensional vector space over a field , and let

be a linear mapping. Let be an eigenvector of with eigenvalue , and let denote a polynomial.

Then

In particular, is an eigenvector of with eigenvalue . The vector belongs to the kernel of if and only if is a zero of .