Extensión Inseparable

Una extensión algebraica de cuerpos K ⊂ L en la que al menos un elemento de L tiene un polinomio mínimo sobre K con raíces repetidas (equivalente a que el polinomio mínimo y su derivada formal no son coprimos), de modo que la extensión no cumple la condición de separabilidad.