Abstract:Motivated by approaches to the word problem for one-relation monoids arising from work of Adian and Oganesian (1987), Guba (1997), and Ivanov, Margolis and Meakin (2001), we study the submonoid and rational subset membership problems in one-relation monoids and in positive one-relator groups. We give the first known examples of positive one-relator groups with undecidable submonoid membership problem, and apply this to give the first known examples of one-relation monoids with undecidable submonoid membership problem. We construct several infinite families of one-relation monoids with undecidable submonoid membership problem, including examples that are defined by relations of the form $w=1$ but which are not groups, and examples defined by relations of the form $u=v$ where both of $u$ and $v$ are non-empty. As a consequence we obtain a classification of the right-angled Artin groups that can arise as subgroups of one-relation monoids. We also give examples of monoids with a single defining relation of the form $aUb = a$, and examples of the form $aUb=aVa$, with undecidable rational subset membership problem. We give a one-relator group defined by a freely reduced word of the form $uv^{-1}$ with $u, v$ positive words, in which the prefix membership problem is undecidable. Finally, we prove the existence of a special two-relator inverse monoid with undecidable word problem, and in which both the relators are positive words. As a corollary, we also find a positive two-relator group with undecidable prefix membership problem. In proving these results, we introduce new methods for proving undecidability of the rational subset membership problem in monoids and groups, including by finding suitable embeddings of certain trace monoids.

The submonoid and rational subset membership problems for Artin groups

Membership problems in braid groups and Artin groups

Membership problems in nilpotent groups

Membership problems for positive one-relator groups and one-relation monoids

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations

Subgroup Separability of Artin Groups II

Subgroup separability of twisted right-angled Artin groups

Is decidability of the Submonoid Membership Problem closed under finite extensions?

Right-angled Artin groups as finite-index subgroups of their outer automorphism groups

The Artin monoid Cayley graph

Matsuda monoids and Artin's primitive root conjecture

Right-angled Artin subgroups and free products in one-relator groups

On the rational subsets of the monogenic free inverse monoid

Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group

Quasi-isometry classification of right-angled Artin groups II: several infinite out cases

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Characterization of Left Artinian Algebras Through Pseudo Path Algebras

Around subgroups of Artin groups: derived subgroups and acylindrical hyperbolicity in the even FC-case

Right-angled Artin groups and full subgraphs of graphs

Visual right-angled Artin subgroups of two-dimensional right-angled Coxeter groups

Right-angled Artin groups as normal subgroups of mapping class groups