Definition:Separable Extension

Definition
A field extension $L/K$ is separable if for every $\alpha\in L$, the minimal polynomial of $\alpha$ over $K$ has distinct roots.