Una extensión algebraica de un cuerpo "K" es el cuerpo más pequeño que contiene a "K" y una raíz de un polinomio irreducible "p"("X") en "K" ["X"].