 Number field

A number field is a finite field extension $K/\mathbb{Q}$ of the rational numbers. Its degree of a field extension $[K:\mathbb{Q}]$ is its dimension as a vector space over $\mathbb{Q}$. Every element is an algebraic number; the primitive element theorem also says that $K=\mathbb{Q}(\theta )$ for some single algebraic number $\theta$.

For example,The basis $1,\sqrt{2}$ makes arithmetic explicit: use $(\sqrt{2}{)}^2=2$ to reduce products. Every nonzero element has its inverse in the same field:The denominator cannot vanish unless $a=b=0$, since $\sqrt{2}$ is not a rational number. For instance, $(3+\sqrt{2}{)}^{-1}=(3-\sqrt{2})/7$ belongs to the number field, although it is not an algebraic integer.

A degree-$n$ number field has exactly $n$ distinct field embeddings into the complex numbers fixing $\mathbb{Q}$, because every finite field extension in characteristic zero is a separable field extension. For $\mathbb{Q}(\sqrt{2})$ these are the two real mapsBoth preserve addition and multiplication. Keeping both values, rather than just the positive choice of $\sqrt{2}$, is what makes the field norm and the Minkowski embedding of a number field useful.