separable extension

Short definition from Wiktionary

Noun

1. 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.