Definition.
The minimal polynomial of , denoted , is the unique monic polynomial of least degree such that .
Theorem.
If is the minimal polynomial of , then if and only if is an eigenvalue of .
Proof.
Suppose = 0. Use the division algorithm to show that there exist and with such that :
Since by the division algorithm and , must be true. Thus, . By definition, . Assume for contradiction that is injective. Since is an operator in , injectivity implies bijectivity and thus invertibility. This implies that , which violates the minimality of . Thus, is not injective, which is the exact condition for being an eigenvalue of .
Conversely, suppose is an eigenvalue of such that for some . Observe that we can repeatedly apply to both sides to obtain . Taking linear combinations of both sides, for any polynomial . Thus, since , , which implies that since is a scalar.
Axler leverages the minimal polynomial to avoid talking about determinants. He argues that proofs using determinants end up being purely mechanical without providing much insight or intuition. I don’t have a strong opinion about determinants but I think the idea of the minimal polynomial is fairly elegant and serves as a nice bridge from the land of polynomials (and more traditional algebra) to linear algebra and eigenstuff.