Minimal polynomial of an algebraic element
= Minimal polynomial of an algebraic element
{title2=$m_{\alpha,K}(X)$}
= Algebraic minimal polynomial
{synonym}
The minimal polynomial of an algebraic element $\alpha$ over $K$ is the unique monic polynomial of least positive degree in $K[X]$ that vanishes at $\alpha$. It is irreducible, and its degree equals $[K(\alpha):K]$.