Transformations and Colorings of Groups

http://dx.doi.org/10.4153/CMB-2007-062-0
Canad. Math. Bull. 50(2007), 632-636

  Published:2007-12-01
 Printed: Dec 2007

Let $G$ be a compact topological group and let $f\colon G\to G$ be a continuous transformation of $G$. Define $f^*\colon G\to G$ by $f^*(x)=f(x^{-1})x$ and let $\mu=\mu_G$ be Haar measure on $G$. Assume that $H=\Imag f^*$ is a subgroup of $G$ and for every measurable $C\subseteq H$, $\mu_G((f^*)^{-1}(C))=\mu_H(C)$. Then for every measurable $C\subseteq G$, there exist $S\subseteq C$ and $g\in G$ such that $f(Sg^{-1})\subseteq Cg^{-1}$ and $\mu(S)\ge(\mu(C))^2$.