Em matemática, um polinômio p(x) é separável sobre um corpo K se suas raízes em um fecho algébrico de K são distintas - ou seja, p(x) tem fatores lineares distintos em uma extensão de corpo suficientemente grande. Equivalentemente, p é separável se e somente se é coprimo com sua derivada p' '′.
Dado um polinômio irreducível f no anel dos polinômios F[X] de um corpo qualquer F, dizemos que f é separável caso f não tenha raízes múltiplas no corpo de decomposição de f.Este é o menor corpo que contém F e todas as raízes do polinômio f. O corpo existe, e é único a menos de isomorfismo; é chamado, na literatura em inglês, de splitting field.Robert B. Ash, Abstract Algebra: The Basic Graduate Year, Chapter 3, Ring Fundamentals, 3.4 Separability, 3.4.1 Definition and Comments [em linha]
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. Generalizando este conceito, um polinômio p(x) em um corpo qualquer K é dito separável se todos os seus fatores irreducíveis tem apenas raízes simples.
Um polinômio é separável se, e somente se, o maior divisor comum (m.d.c.) entre f e f' , definido como a derivada formal de f, for um polinômio de grau, pelo menos, igual a um.Robert B. Ash, Abstract Algebra: The Basic Graduate Year, Chapter 3, Ring Fundamentals, 3.4 Separability, 3.4.2 Proposition Como em um corpo de característica zero a derivada formal de um polinômio qualquer é outro polinômio de um grau menor (e é zero apenas no caso de um polinômio constante),Como exceção para polinômios sobre corpos de característica p, tome, por exemplo, f(X) = X4 em GF(2), cuja derivada formal é f'(X) = 0. e os únicos divisores de um polinômio irreducível f são ele mesmo e 1, segue-se que o m.d.c. entre f e f' é o polinômio 1, portanto todo polinômio é separável.Robert B. Ash, Abstract Algebra: The Basic Graduate Year, Chapter 3, Ring Fundamentals, 3.4 Separability, 3.4.3 Corollary
Como contra-exemplo de um polinômio que não é separável, seja o corpo de frações dos polinômios com coeficientes no corpo finito . Então, no corpo , o polinômio é irreducível, mas ele tem uma raiz, y, de multiplicidade p''.Paul Garrett, Abstract Algebra, 22. Galois theory [em linha]
Um corpo é chamdo de perfeito quando todo polinômio é separável. Todo corpo de característica zero é perfeito.Beachy/Blair, Abstract Algebra, Galois Theory, Chapter 8: The Galois group of a polynomial [em linha]
Separavel Categoria:Teoria dos corpos