Em matemática, uma extensão separável de um corpo K é um corpos L que contém K e que pode ser gerado adjuntando a K um conjunto de elementos α, tais que sejam raízes de polinômios separáveis sobre K. Neste caso, qualquer elemento β de L tem associado um polinômio mínimo que é separável sobre K. A condição de separabilidade é importante na teoria de Galois. Wikipedia