Splitting field/Definition

A field extension generated by the roots of a polynomial.