The profinite primitivity conjecture for free groups

About 15 years old · traced to

Let Fk\mathbf{F}_{k} be the free group of rank kk, and let F^k\widehat{\mathbf{F}}_{k} be its free profinite completion. An element is primitive if it belongs to a basis of the relevant free group. The profinite primitivity conjecture. For every word w∈Fkw\in\mathbf{F}_{k},

w is primitive in F^k⟺w is primitive in Fk.w\text{ is primitive in }\widehat{\mathbf{F}}_{k}\Longleftrightarrow w\text{ is primitive in }\mathbf{F}_{k}.

The source notes that primitivity in the discrete free group implies primitivity in its free profinite completion, and conjectures the converse. No resolution is supplied here.

References

Primary source

Doron Puder, “Primitive Words, Free Factors and Measure Preservation”, arXiv:1104.3991 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.