Abstract:A prefix monoid is a finitely generated submonoid of a finitely presented group generated by the prefixes of its defining relators. Important results of Guba (1997), and of Ivanov, Margolis and Meakin (2001), show how the word problem for certain one-relator monoids, and inverse monoids, can be reduced to solving the membership problem in prefix monoids of certain one-relator groups. Motivated by this, in this paper we study the class of prefix monoids of finitely presented groups. We obtain a complete description of this class of monoids. All monoids in this family are finitely generated, recursively presented and group-embeddable. Our results show that not every finitely generated recursively presented group-embeddable monoid is a prefix monoid, but for every such monoid if we take a free product with a suitably chosen free monoid of finite rank, then we do obtain a prefix monoid. Conversely we prove that every prefix monoid arises in this way. Also, we show that the groups that arise as groups of units of prefix monoids are precisely the finitely generated recursively presented groups, while the groups that arise as Schützenberger groups of prefix monoids are exactly the recursively enumerable subgroups of finitely presented groups. We obtain an analogous result classifying the Schützenberger groups of monoids of right units of special inverse monoids. We also give some examples of right cancellative monoids arising as monoids of right units of finitely presented special inverse monoids, and show that not all right cancellative recursively presented monoids belong to this class.

An extension to "A subsemigroup of the rook monoid"

Elementary methods for splitting representations of Rook monoids: a gentle introduction to groupoids

On three submonoids of the dihedral inverse monoid on a finite set

Schur–Weyl dualities for the rook monoid: an approach via Schur algebras

Schur-Weyl dualities for the rook monoid: an approach via Schur algebras

Subgroups of $E$-unitary and $R_1$-injective special inverse monoids

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

On invariant submonoids

On groups of units of special and one-relator inverse monoids

Maximal subgroups of finitely presented special inverse monoids

Irreducible Unipotent Numerical Monoids

On periodic points of free inverse monoid endomorphisms

The Inverse Semigroup Theory of Elementary Arithmetic

Prefix monoids of groups and right units of special inverse monoids

The extension of Elementary Numerical Operator Theory: Simply Generic, Right-Stochastically Non-Gaussian, Sub-Canonically H-Positive Definite Monoids

The dual of z-submodules of modules and some of extensions

Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set

Nil-extensions of simple and right $π$-inverse ordered semigroups

m-irreducible numerical semigroups

Boolean inverse semigroups and their type monoids

On the semigroup of injective monoid endomorphisms of the monoid $\boldsymbol{B}_ω^{\mathscr{F}^3}$ with a three element family $\mathscr{F}^3$ of inductive nonempty subsets of $ω$