[Math] Why does the largest Jordan block determine the degree for that factor in the minimal polynomial

jordan-normal-formlinear algebramatricesminimal-polynomials

Let $A$ be a square matrix, so $A$ has some Jordan Normal form. Then $A$ has a minimal polynomial, say $m(X)=\prod_{i=1}^k (t-\lambda_i)^{m_i}$.

Wikipedia says

The factors of the minimal polynomial $m$ are the elementary divisors of the largest degree corresponding to distinct eigenvalues.

So $m_i$ is the size of the largest Jordan block of $\lambda_i$. Why is this exactly?

Best Answer

Because

  • a single Jordan block $B$ of size $m$ with eigenvalue $\lambda$ has $(B - \lambda I)^m = 0$ but $(B - \lambda I)^{m-1} \ne 0$,

  • if a square matrix $A$ has blocks $B_1, \ldots, B_k$ along the diagonal and $0$'s everywhere else, and $p$ is any polynomial, $p(A)$ has blocks $p(B_1), \ldots, p(B_k)$ along the diagonal and $0$'s everywhere else

  • and if $A$ and $S$ are square matrices of the same size with $S$ invertible, and $p$ is any polynomial, $p(S A S^{-1}) = S\ p(A) S^{-1}$; in particular $p(A) = 0$ if and only if $p(SAS^{-1}) = 0$.