Characterisation of the numbers which satisfy the height reducing property (Q475563)

A complex number \(\alpha\) is said to satisfy the height reducing property if there exists a finite subset \(F\) of the integers \(\mathbb Z\) such that \(F[\alpha] = \mathbb Z[\alpha]\), i.e., if each complex number of the form \(f(\alpha)\), where \(f \in \mathbb Z[X]\), has the form \(\sum f_j\alpha^j\) for \(f_j \in F\). In this article, the authors prove that \(\alpha\) has the height reducing property if and only if it is an algebraic number whose conjugates over the rationals all have modulus \(1\), or all have modulus \(> 1\).