Algebraic number field

In mathematics, an algebraic number field K is a finite field extension of the rational numbers Q. That is, K is a field which has finite dimension when considered as a vector space over Q.