A Lower Bound for the Height in Abelian Extensions Original Research Article

We produce an absolute lower bound for the height of the algebraic numbers (different from zero and from the roots of unity) lying in an abelian extension of the rationals. The proof rests on elementary congruences in cyclotomic fields and on Kronecker–Weber theorem.