# Definition:Separable Polynomial/Definition 1

Let $K$ be a field.
Let $\map P X \in K \sqbrk X$ be a polynomial of degree $n$.
$P$ is separable if and only if its roots are distinct in an algebraic closure of $K$.