In field theory, a branch of algebra, an algebraic field extension E / F {\displaystyle E/F} is called a separable extension if for every α ∈ E {\displaystyle \alpha \in E}, the minimal polynomial of α {\displaystyle \alpha } over F is a separable polynomial. Wikipedia