Measure Preserving Words are Primitive

Abstract

We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distributes uniformly on $G$. It is easy to see that primitive words (words which belong to some basis of the free group) are measure preserving w.r.t. all finite groups, and several authors have conjectured that the two properties are, in fact, equivalent. Here we prove this conjecture. The main ingredients of the proof include random coverings of Stallings graphs, algebraic extensions of free groups, and Möbius inversions. Our methods yield the stronger result that a subgroup of $F_k$ is measure preserving if and only if it is a free factor. As an interesting corollary of this result we resolve a question on the profinite topology of free groups and show that the primitive elements of $F_k$ form a closed set in this topology.

37 pages, 6 figures. The new Prop. 1.6 determines which finite set of finite groups is needed to determine the primitivity of w

References in corpus (4)

• Expansion of Random Graphs: New Proofs, New Results
• Primitive Words, Free Factors and Measure Preservation
• On the Fourier Expansion of Word Maps
• Stallings Graphs, Algebraic Extensions and Primitive Elements in F2

Cited by in corpus (24)

• Expansion of Random Graphs: New Proofs, New Results
• A random cover of a compact hyperbolic surface has relative spectral gap $\frac{3}{16}-\epsilon$
• Matrix Group Integrals, Surfaces, and Mapping Class Groups I: $U(n)$
• Word Measures on Symmetric Groups
• The Asymptotic Statistics of Random Covering Surfaces
• Algebraic properties of profinite groups
• Growth of Primitive Elements in Free Groups
• Some Orbits of Free Words that are Determined by Measures on Finite Groups
• Ramanujan Graphs and Digraphs
• Matrix Group Integrals, Surfaces, and Mapping Class Groups II: $\mathrm{O}\left(n\right)$ and $\mathrm{Sp}\left(n\right)$
• A Note on the Trace Method for Random Regular Graphs
• Surface Words are Determined by Word Measures on Groups
• Word Measures on Unitary Groups
• The primitivity index function for a free group, and untangling closed curves on hyperbolic surfaces. With an appendix by Khalid Bou-Rabee
• Free factors and profinite completions
• Core Surfaces
• On the Relativized Alon Second Eigenvalue Conjecture I: Main Theorems, Examples, and Outline of Proof
• Knot homotopy in subspaces of the 3-sphere
• Word Measures on $G{L}_N(q)$ and Free Group Algebras
• Automorphism-invariant positive definite functions on free groups
• Criteria for equidistribution of solutions of word equations on SL(2)
• Transversals as generating sets in finitely generated groups
• A note on words having the same image on finite groups
• Uniformly distributed systems of elements on metabelian Lie rings