A polynomial with coefficients in a field is separable if its factors have distinct roots in some extension field.