Separable polynomial

A separable polynomial is a polynomial that does not have repeated roots in its splitting field. More formally, a polynomial \( f(x) \) over a field \( K \) is termed separable if its derivative \( f'(x) \) and \( f(x) \) share no common roots in an algebraic closure of \( K \).