algebraic number field

a finite degree (and hence algebraic) field extension of the field of rational numbers