Algebraic extension (source code)

= Algebraic extension
{wiki}

= Algebraic field extension
{synonym}

A <field extension> $L/K$ is algebraic if every element of $L$ is an <algebraic element> over $K$. Every <finite field extension> is algebraic, but algebraic extensions can have infinite degree.