Algebraic number field/Definition

A field extension of the rational numbers of finite degree; a principal object of study in algebraic number theory.