A splitting field is an extension field of a field
for a nonzero polynomial
such
that
factors completely into linear factors
in
and
does not factor completely into linear
factors over any proper
subfield of
containing
(Dummit and Foote 2004, p. 536).
For example, the extension field is the splitting field for
since it is the smallest field
containing its roots,
and
. Note that it is also the splitting field for
.
For an irreducible polynomial of polynomial degree
3, let
be any root and let
be its polynomial
discriminant. The splitting field is
Its extension field degree over is 3 if
is the square of a rational
number and 6 otherwise (Milne 2022, p. 49). Thus adjoining one root
need not give the splitting field.