he Weil height measures the “complexity” of an algebraic number.
It vanishes precisely at 0 and at the roots of unity. Moreover, a
finite field extension of the rationals contains no elements of
arbitrarily small, positive heights. Amoroso, Bombieri...