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