9a9bf64b6fa95286.tex
1: \begin{abstract}
2: Let $G$ be a group, and let $S$ be a finite subset of $G$ that generates $G$ as a monoid. The \emph{co-word problem}
3: is the collection of words in the free monoid $S^{\ast}$ that represent non-trivial elements of $G$. 
4: 
5: A current conjecture, based originally on a conjecture of Lehnert and modified into its current form by Bleak, Matucci, and Neuh\"{o}ffer, says that Thompson's group $V$ is a universal group with context-free co-word problem. In other words, it is conjectured that a group has a context-free co-word problem exactly if it is a finitely generated subgroup of $V$.
6: 
7: Hughes introduced the class $\mathcal{FSS}$ of groups that are determined by finite similarity structures. An $\mathcal{FSS}$ group acts by local similarities on a compact ultrametric space. Thompson's group $V$ is a representative example, but there are many others. 
8: 
9: We show that $\mathcal{FSS}$ groups  have context-free co-word problem under a minimal additional hypothesis.
10: As a result, we can specify a subfamily of $\mathcal{FSS}$ groups that are potential counterexamples to the conjecture.
11: \end{abstract}
12: