Qu'est-ce que « polynôme séparable » ?

Un polynôme irréductible $P \in K[X]$ est séparable s’il n’a pas de racine multiple dans une clôture algébrique (équivalemment $P' \neq 0$, ou $\gcd(P, P') = 1$). Un élément algébrique est séparable si son polynôme minimal l’est ; une extension algébrique est séparable si tout élément l’est.