Em álgebra abstrata, um corpo perfeito é um corpo em que todo polinômio é separável. Quando são estudados polinômios com coeficientes racionais, um resultado elementar é que, se o polinômio tem alguma raiz múltipla, então ele não é irreducível.