Definition:Separable Polynomial/Definition 1

Definition
Let $K$ be a field.

Let $P \left({X}\right) \in K \left[{X}\right]$ be a polynomial of degree $n$.

$P$ is separable if its roots are distinct in an algebraic closure of $K$.