Green languages and growth of free inverse monoids

Corentin Bodart; André Carvalho; Ana-Catarina Monteiro

Home/Archive/arXiv

arXiv · 2609.35251

Green languages and growth of free inverse monoids

Corentin Bodart·André Carvalho·Ana-Catarina Monteiro

View original source ↗Read source document ↗Export metadata ↓

Abstract

Motivated by recent work on conjugacy languages in groups, we introduce a general framework for studying \emph{languages of representatives} associated to equivalence relations on finitely generated semigroups. After developing this notion in full generality, we particularize it to Green's relations and obtain the corresponding Green languages, which form the central objects of this article. For free inverse monoids, we describe these languages via Munn trees and establish several structural relations among them, including characterizations of the $\mathcal{D}$-, $\mathcal{R}$-, $\mathcal{L}$-, and $\mathcal{H}$-languages. We then investigate the formal language-theoretic complexity of these Green languages. For free inverse monoids of rank at least two, we show that $\mathcal{H}$-Geo is context-free and co-context-free but not regular, while $\mathcal{R}$-Geo, $\mathcal{L}$-Geo, and $\mathcal{D}$-Geo are neither context-free nor co-context-free. In contrast, in the monogenic case, $\mathcal{D}$-Geo is regular and the remaining Green languages are deterministic context-free. We further relate these results to the ShortLex language and the growth of free inverse monoids, proving in particular that $(\text{FIM}_X,X)$ is growth tight. The article concludes with a collection of open problems and directions for future research.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Corentin Bodart, André Carvalho, Ana-Catarina Monteiro. 2026-09-28. Green languages and growth of free inverse monoids. https://arxiv.org/abs/2609.35251

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Random Quotients of Free Products

We introduce a density model for random quotients of a free product of finitely generated groups. We prove that a random quotient in this model has the following properties with overwhelming probability: if the density is below $1/2$, the free factors embed into the random quotient and the random quotient is hyperbolic relative to the free factors. Further, there is a phase transition at $1/2$, with the random quotient being a finite group above this density. If the density is below $1/6$, the random quotient is cubulated relative to the free factors. Moreover, if the free factors are cubulated, then so is the random quotient.

math.GR↗

arXiv2026

Inherently nonfinitely based additively idempotent semirings

We establish a sufficient condition for an additively idempotent semiring to be inherently nonfinitely based: if its generated variety is locally finite and every Zimin word is minimal in the additive order, then it is contained in no finitely based locally finite variety. For every positive integer $n$, we construct an infinite finitely generated flat semiring satisfying all identities in at most $n$ variables of every ai-semiring with this minimality property. We also characterize Zimin minimality by the membership of a countable flat factor semiring $\Finf$ in the generated variety, and prove that$\V(\Finf)$ is locally finite and inherently nonfinitely based. As applications, we show that the six-element ai-semirings $\A$ and $\B$ are inherently nonfinitely based. In contrast, we prove that the six-element ai-semiring $\overline{A_2^1}$ is not inherently nonfinitely based, although its multiplicative reduct $A_2^1$ is inherently nonfinitely based. To the best of our knowledge, this is the first example of an ai-semiring whose multiplicative reduct is inherently nonfinitely based while the ai-semiring itself is not.

math.GR↗

arXiv2026

On the residual finiteness of the non-abelian tensor square $G \otimes G$, the non-abelian exterior square $G \wedge G$ and the weak commutativity construction $\X(G)$

We prove that if $G$ is a residually finite group, $\widehat{G}$ is its profinite completion and the map $H_2(G, \mathbb{Z}) $ $ \to H_2(\widehat{G}, \widehat{\mathbb{Z}}),$ induced by the canonical map $G \to \widehat{G}$, is injective, then the non-abelian exterior square $G \wedge G$ is residually finite. We show that if $G$ is a finitely presented centre-by-metabelian group then $ν(G)$, the non-abelian tensor product $G \otimes G$ and the non-abelian tensor square $G \wedge G$ are residually finite. Furthermore we prove that if $G$ be a finitely presented metabelian group then the weak commutative construction $\X(G)$ is residually finite. We discuss a criterion for the $q$-exterior square $G \wedge^q G$ to be residually finite.

math.GR↗