show · nf.primitive_element all knowls · up · search:

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:
Differences