Lower bounds for heights in cyclotomic extensions

We show that the height of a nonzero algebraic number α that lies in an abelian extension of the rationals and is not a root of unity must satisfy h(α)>0.155097.