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 .