En matemáticas, una extensión separable de un cuerpo K es un cuerpo L que contiene a K y que puede ser generado adjuntando a K un conjunto de elementos α, tales que son raíces de polinomios separables sobre K. En dicho caso, cualquier elemento β de L tiene asociado un polinomio mínimo que es separable sobre K. La condición de separabilidad es importante en la teoría de Galois. Wikipedia