Lehmer conjectured the existence of a lower bound on height of algebraic numbers (nonzero, not a root of unity). Although answering this conjecture is still an open problem, there have been partial results in certain cases. One case was investigated by Amoroso and Dvornicich, who found a lower bound for algebraic numbers which lie in abelian extensions of the rationals.