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.[1][2] This is one of the conditions for an algebraic extension to be a Galois extension. Bourbaki calls such an extension a quasi-Galois extension. For finite extensions, a normal extension is identical to a splitting field.