normal extension

Noun

 * 1)  A finite, algebraic extension of some field such that if it contains any root of any  polynomial over that base field then it contains all of the roots of that polynomial.