Definition

A number field is a finite

F/QF/\mathbb Q

of the . Its degree is the finite dimension [F:Q][F:\mathbb Q].

Places and completions

The embeddings of FF into R\mathbb R and C\mathbb C determine its . Its remaining places are nonarchimedean and lie above rational primes. Completing at any produces a .

Position among global fields

Number fields are precisely the of characteristic 00. The other global fields are the , which have positive characteristic.

References
  1. Jürgen Neukirch, Algebraic Number Theory, Springer, 1999, Chapter I.
  2. John W. S. Cassels and Albrecht Fröhlich, eds., Algebraic Number Theory, Academic Press, 1967.