In [[field theory (mathematics)|field theory]], the '''primitive element theorem''' states hatthat every [[degree of a field extension|finite]] [[separable extension|separable]] [[field extension]] is [[Simple extension|simple]], i.e. generated by a single element. This theorem implies in particular that all [[Algebraic number field|algebraic number fields]] over the rational numbers, and all extensions in which both fields are finite, are simple.
