In abstract algebra, a normal extension is an algebraic field extension L/K for which every irreducible polynomial over K that has a root in L splits into linear factors in L. These are one of the conditions for algebraic extensions to be a Galois... Wikipedia