Pego theorem on compact groups

The Pego theorem characterizes the precompact subsets of the square-integrable functions on $\mathbb{R}^n$ via the Fourier transform. We prove the analogue of the Pego theorem on compact groups (not necessarily abelian).