Minimal polynomial of an algebraic element (source code)

= 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]$.