Definition:Separable Extension

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