### References & Citations

# Mathematics > Group Theory

# Title: Solution to the Henckell--Rhodes problem: finite $F$-inverse covers do exist

(Submitted on 5 Aug 2022)

Abstract: For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of generators (i.e.~edges). As a consequence, every element $g\in G$ admits a unique minimal set of edges needed to represent $g$ (the \emph{content} of $g$). The crucial property of the group $G$ is that the connectivity in the graph $\mathcal{E}$ is encoded in $G$ in the following sense: if a word $p$ forms a path $u\longrightarrow v$ in $\mathcal{E}$ then the content of the corresponding group element $[p]_G$ spans a connected subgraph of $\mathcal{E}$ containing the vertices $u$ and $v$. As an application it is shown that every finite inverse monoid admits a finite $F$-inverse cover. This solves a long-standing problem of Henckell and Rhodes.

Link back to: arXiv, form interface, contact.