Ana-Catarina C. Monteiro

arXiv2026

Conjugacy languages in free inverse monoids

We initiate the study of conjugacy languages in free inverse monoids. Motivated by the notion of conjugacy languages in groups and the study of conjugacy in semigroups, we introduce the language of shortest representatives of conjugacy classes and study it for free inverse monoids of rank at least $2$ under the natural notion of conjugacy. We show that, contrary to the free group case, where this language is regular, in a free inverse monoid it is neither context-free nor co-context-free. In the monogenic case, this language is context-free. We show that this non-context-freeness comes from elements with nontrivial conjugacy classes. We define an equivalence relation as follows: all elements with a nontrivial conjugacy class are related and elements with trivial conjugacy class are only related to themselves. We call this relation $\mathrm{UConj}$. We show that the language consisting of geodesics representing elements whose conjugacy class is trivial is context-free by providing an explicit context-free grammar generating it. For groups, we show that the language of minimal representatives of $\mathrm{UConj}$ classes is regular if the group is hyperbolic and for right-angled Artin groups with the standard generating set, it is piecewise testable. For virtually abelian groups, we show that there is a generating set for which this language is piecewise excluding and exhibit an example of a virtually abelian group admitting a generating set for which this language is not regular.

math.GR↗

arXiv2025

Conjugacy languages and conjugacy growth relative to subsets of groups

In this paper, we explore conjugacy languages when the base problem is the generalized conjugacy problem (with constraints): given $g\in G$ and $U\subset G$, does $g$ have a conjugate in $U$ (with conjugators in a certain subset)? To do so, for subsets $U,V\subseteq G$, we define the corresponding languages $\text{ConjGeo(U,V)}$, $\text{CycGeo(U)}$, $\text{ConjSL(U)}$ and $\text{ConjMinLenSL(U,V)}$, following the previously studied cases where $U=V=G$. Our results cover several classes of groups: for free groups, we prove that $\text{ConjGeo(U,V)}$ and $\text{ConjMinLenSL(U,V)}$ are regular if $U$ and $V$ are rational subsets; for hyperbolic groups, we show that if $L$ is a regular language of geodesics and $U$ is the subsets represented by it, then $\text{ConjGeo(U)}$ and $\text{ConjMinLenSL(U)}$ are regular; for virtually cyclic groups, we show that $\text{ConjSL(U)}$ is regular if $U$ is rational; and, for virtually abelian groups, we prove that $\text{ConjGeo(U)}$ belongs to a certain class of languages $\C$ when the language of words representing elements of $U$ also belongs to $\C$. We also define relative conjugacy growth and show that its behavior can be heavily dependent on the choice of subset.

math.GR↗