Definition.
A linear operator is diagonalizable if its matrix is diagonal in some basis.
Equivalently, is diagonalizable if there exist a basis comprised entirely of eigenvectors of ; or, is the direct sum of every eigenspace of ; or, the dimension of is the sum of the dimensions of the eigenspaces.
Theorem.
A linear operator is diagonalizable if and only if its minimal polynomial splits into distinct linear factors such that for distinct values .
Proof Sketch.
Suppose is diagonalizable. Then, there exists a basis of eigenvectors of . Each corresponds to a (not necessarily unique) eigenvalue . Even if we take just the distinct eigenvalues,
for all must be true. Since every eigenvalue must be a root of the minimal polynomial, must be the minimal polynomial.
Conversely, suppose . This direction is a little more tricky and requires induction on . The general idea is to show that is equal to a direct sum of eigenspaces. We take and . Then, we use the fact that to show that (Coprime Polynomials). Lastly, we use our induction hypothesis to show that is also the direct sum of eigenspaces since is the minimal polynomial of restricted to —a subspace of lower dimension.