splitting field

Take a polynomial that refuses to fully factor over your field — maybe it has no roots there at all. A splitting field is the smallest enlargement of the field in which that polynomial finally breaks all the way apart into linear factors, so that all of its roots become available. You build exactly the room you need, no more.

Precisely, given a polynomial f(x) with coefficients in a field K, a splitting field of f over K is an extension L where f factors as a product of linear factors (it “splits”), and which is generated over K by the roots of f — meaning L is the smallest such field. Up to isomorphism this smallest field is unique, so it makes sense to speak of the splitting field.

Splitting fields are where Galois theory really begins: the symmetries of the roots inside the splitting field form the Galois group. Because the field is generated by the roots and contains all of them, those symmetries permute the roots among themselves, and studying that permutation action is how the theory extracts information about the polynomial.