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.