Algebraisk förlängning

En algebraisk förlängning är en förlängning av fältet , där varje element är algebraiskt över , det vill säga det finns ett utplånande polynom med koefficienter från , För vilket är en rot, det vill säga . $\mathbb {E} \supset \mathbb {K}$ $\alpha \in \mathbb {E}$ $\mathbb {K}$ $f_{\alpha }(x)$ $\mathbb {K}$ $\alfa$ $f_{\alpha }(\alpha )=0$