Definition:Separable Extension

Definition
Let $K$ be a field.

Let $L/K$ be a field extension of $K$.

Then $L/K$ is a separable extension :
 * for every $\alpha \in L$, the minimal polynomial of $\alpha$ over $K$ has distinct roots.