On closed subgroups of the R. Thompson group $F$

Gili Golan, Mark Sapir

We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$…