Los puntos clave no están disponibles para este artículo en este momento.
We prove an Erdos--Tur\'an type inequality for compact Lie groups, from which we deduce an effective version of Deligne's equidistribution theorem.
Fu et al. (Thu,) studied this question.