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