(algebra, number theory) A complex number (more generally, an element of a number field) that is a root of a polynomial whose coefficients are integers; equivalently, a complex number (or element of a number field) that is a root of a monic polynomial whose coefficients are rational numbers.