necessary and sufficient condition for diagonalizability
Let be a field, a vector space over of dimension
,and . Then is diagonalizable
if and only if its minimal polynomial
(http://planetmath.org/MinimalPolynomialEndomorphism) has no multiple roots
and all its roots lie in .