1: \begin{abstract}

2: Let $\F_{k}$ be the free group on $k$ generators. A word $w\in\F_{k}$

3: is called primitive if it belongs to some basis of $\F_{k}$. We investigate

4: two criteria for primitivity, and consider more generally, subgroups

5: of $\F_{k}$ which are free factors.

6: 

7: The first criterion is graph-theoretic and uses Stallings core graphs:

8: given subgroups of finite rank $H\le J\le\F_{k}$ we present a simple

9: procedure to determine whether $H$ is a free factor of $J$. This

10: yields, in particular, a procedure to determine whether a given element

11: in $\F_{k}$ is primitive.

12: 

13: Again let $w\in\F_{k}$ and consider the word map $w:G\times\ldots\times G\to G$

14: (from the direct product of $k$ copies of $G$ to $G$), where $G$

15: is an arbitrary finite group. We call $w$ \emph{measure preserving}

16: if given uniform measure on $G\times\ldots\times G$, $w$ induces

17: uniform measure on $G$ (for every finite $G$). This is the second

18: criterion we investigate: it is not hard to see that primitivity implies

19: measure preservation and it was conjectured that the two properties

20: are equivalent. Our combinatorial approach to primitivity allows us

21: to make progress on this problem and in particular prove the conjecture

22: for $k=2$.

23: 

24: It was asked whether the primitive elements of $\F_{k}$ form a closed

25: set in the profinite topology of free groups. Our results provide

26: a positive answer for $\F_{2}$.

27: 

28: \noindent \emph{Keywords}: word maps, primitive elements of free groups,

29: primitivity rank 

30: \end{abstract}