 Separable extension

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