1: \begin{abstract}

2: Consider a group word $w$ in $n$ letters.  For a compact group $G$, $w$ induces a map $G^n \to G$ and thus a pushforward measure $\mu_w$ on $G$ from the Haar measure on $G^n$.  We associate to each word $w$ a $2$-dimensional cell complex $X(w)$ and prove in Theorem \ref{measures} that $\mu_w$ is determined by the topology of $X(w)$.  The proof makes use of non-abelian cohomology and Nielsen's classification of automorphisms of free groups \cite{nielsen}.  Focusing on the case when $X(w)$ is a surface, we rediscover representation-theoretic formulas for $\mu_w$ that were derived by Witten in the context of quantum gauge theory \cite{witten}.  These formulas generalize a result of Erd\H{o}s and Tur\'{a}n on the probability that two random elements of a finite group commute \cite{erdos}.  As another corollary, we give an elementary proof that the dimension of an irreducible complex representation of a finite group divides the order of the group; the only ingredients are Schur's lemma, basic counting, and a divisibility argument.

3: \end{abstract}

4: