正方行列Aの最小多項式が重根を持たず、一次式の積に分解できるための必要十分条件は。

行列が対角化可能であることと、最小多項式が相異なる一次式の積であることは同値です。