separable extension

Noun

 * 1)  A finite (and thereby algebraic) extension of a base field such that every element of the extension is the root of a separable polynomial over the base field.