En matemática, un polinomio "P"("X") es separable sobre un cuerpo "K" si sus raíces en una clausura algebraica de "K" son distintas - es decir "P"("X") tiene factores lineales distintos en una extensión de cuerpo suficientemente grande.