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).