Generic sets in definably compact groups

Abstract

A subset $X$ of a group $G$ is called left generic if finitely many left translates of $X$ cover $G$. Our main result is that if $G$ is a definably compact group in an o-minimal structure and a definable $X\subseteq G$ is not right generic then i