Algebraic element (source code)

= Algebraic element
{wiki}

An element $\alpha$ of a field extension $L/K$ is algebraic over $K$ when some nonzero polynomial in $K[X]$ vanishes at $\alpha$.