Splitting Field - Facts

Facts

An extension L which is a splitting field for multiple polynomials p(X) over K is called a normal extension.

Given an algebraically closed field A containing K, there is a unique splitting field L of p between K and A, generated by the roots of p. If K is a subfield of the complex numbers, the existence is automatic. On the other hand, the existence of algebraic closures in general is usually proved by 'passing to the limit' from the splitting field result; which is therefore proved directly to avoid circular reasoning.

Given a separable extension K′ of K, a Galois closure L of K′ is a type of splitting field, and also a Galois extension of K containing K′ that is minimal, in an obvious sense. Such a Galois closure should contain a splitting field for all the polynomials p over K that are minimal polynomials over K of elements a of K′.