Definition:Separable Polynomial

Definition
Let $k$ be a field.

Let $P \left({x}\right) \in k \left[{x}\right]$ be a polynomial over $k$.

$P$ is called separable its roots are distinct in the algebraic closure of $k$.