 Minimal polynomial

The minimal polynomial $m_A$ is the unique monic polynomial of least degree satisfying $m_A(A)=0$. It divides every polynomial that annihilates $A$.