splitting field of a finite set of polynomials
Lemma 1.
(Cauchy,Kronecker) Let be a field. For any irreducible polynomial in there is an extension field
of in which has a root.
Proof.
If is the ideal generated by in , since is irreducible, is a maximal ideal
of , and consequently is a field.
We can construct a canonical monomorphism from to . By tracking back the field operation on , can be extended to an isomorphism
from an extension field of to .
We show that is a root of .
If we write then implies:
which means that .∎
Theorem 1.
Let be a field and let be a finite set of nonconstant polynomials in . Then there exists an extension field of such that every polynomial in splits in
Proof.
If is a field extension of then the nonconstant polynomials split in iff the polynomial splits in . Now the proof easily follows from the above lemma.∎