normal extension
Noun
Meaning
normal extension (plural normal extensions)
(algebra) A finite, algebraic extension of some field such that if it contains any root of any irreducible polynomial over that base field then it contains all of the roots of that polynomial.