最小多项式是满足 mA(A)=0m_A(A)=0mA(A)=0 的次数最低的首一多项式。它整除特征多项式 pA(x)p_A(x)pA(x),且与 pA(x)p_A(x)pA(x) 有相同的根(即相同的特征值)。矩阵可对角化当且仅当其最小多项式无重根。最小多项式用于计算矩阵高次幂、判断可逆性等。用它降次算 AnA^nAn 的例子见不可对角化矩阵的幂。