1: \begin{abstract}

2: A word $w\in\F_{k}$, the free group on $k$ generators, is called

3: \emph{primitive} if it belongs to some basis of $\F_{k}$. Associated

4: with $w$ and a finite group $G$ is the word map $w:G\times\ldots\times G\to G$

5: defined on the direct product of $k$ copies of $G$. We call $w$

6: \emph{measure preserving} if given uniform measure on $G\times\ldots\times G$,

7: the image of this word map induces uniform measure on $G$ (for every

8: finite group $G$). It is easy to see that every primitive word is

9: measure preserving, and several authors have conjectured that the

10: two properties are, in fact, equivalent. Here we prove this conjecture.

11: The main ingredients of the proof include random coverings of Stallings

12: graphs, algebraic extensions of free groups and Möbius inversions.

13: Our methods yield the stronger result that a subgroup of $\F_{k}$

14: is measure preserving iff it is a free factor.

15: 

16: As an interesting corollary of this result we resolve a question on

17: the profinite topology of free groups and show that the primitive

18: elements of $\F_{k}$ form a closed set in this topology.

19: \end{abstract}