\begin{definition}[Definition:Separable Polynomial/Definition 3]
Let $K$ be a field.
Let $\map P X \in K \sqbrk X$ be a polynomial of degree $n$.
$P$ is '''separable''' {{iff}} it has $n$ distinct roots in every field extension where $P$ splits.
Category:Definitions/Separable Polynomials
\end{definition}