Let $G$ be compact (and Hausdorff) group, $\mu$ be Haar measure on $G$. Is it always true that $(G,\mu)$ is a standard probability space (LebesgueRokhlin space)? It is so if (a priori not iff) the topology of $G$ is metrizable, but this is probably not necessary.
