Abstract
We generalize a result of Sury [Sur92] and prove that uniform discreteness of cocompact lattices in higher rank semisimple Lie groups (first conjectured by Margulis [Mar91]) is equivalent to a weak form of Lehmer’s conjecture. We include a short survey of related results and conjectures.