Number field

From Commalg

Definition

A number field is a field obtained by taking a finite (and hence algebraic) extension of the field of rational numbers.

Related notions