# Difference between revisions of "Number field"

A field consisting of complex (e.g., real) numbers. A set of complex numbers forms a number field if and only if it contains more than one element and with any two elements $\alpha$ and $\beta$ their difference $\alpha-\beta$ and quotient $\alpha/\beta$ ($\beta\neq0$). Every number field contains infinitely many elements. The field of rational numbers is contained in every number field.

Examples of number fields are the fields of rational numbers, real numbers, complex numbers, or Gaussian numbers (cf. Gauss number). The set of all numbers of the form $H(\alpha)/F(\alpha)$, $F(\alpha)\neq0$, forms a number field, $Q(\alpha)$, where $\alpha$ is a fixed complex number and $H(x)$ and $F(x)$ range over the polynomials with rational coefficients.

The term "number field" is often used for the specific case of an algebraic number field: a finite degree extension of the field $\mathbf Q$ of rational numbers: every $\alpha\in K$ is the root of a polynomial (of degree at most $n$) over $\mathbf Q$. A number field that is not algebraic is called transcendental.