Separable field extension

An algebraic extension is separable when every element has a minimal polynomial with distinct roots.

An algebraic element $x$ over $K$ is separable when its minimal polynomial over $K$ has no repeated root in a splitting field. For an irreducible polynomial $m_x$, this is equivalent to $m_x^{\prime }\ne 0$, because then $\gcd (m_x,m_x^{\prime })=1$.