A primitive element for a number field $K$ is a field generator of $K$. In other words, it is an element $\alpha \in K$ such that the inclusion $\Q(\alpha) \subseteq K$ is an equality. The *primitive element theorem* asserts that every number field admits a primitive element.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by David Roberts on 2019-04-30 17:18:03

**Referred to by:**

**History:**(expand/hide all)

- 2019-04-30 17:18:03 by David Roberts (Reviewed)
- 2018-07-08 00:18:27 by Alina Bucur (Reviewed)

**Differences**(show/hide)