New results on the prefix membership problem for one-relator groups

Igor Dolinka, Robert Gray

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)
14 Downloads (Pure)


In this paper we prove several results regarding decidability ofthe membership problem for certain submonoids in amalgamated free prod-ucts and HNN extensions of groups. These general results are then appliedto solve the prefix membership problem for a number of classes of one-relatorgroups which are low in the Magnus–Moldavanski ̆ı hierarchy. Since the pre-fix membership problem for one-relator groups is intimately related to theword problem for one-relator special inverse monoids in theE-unitary case(as discovered in 2001 by Ivanov, Margolis and Meakin), these results yieldsolutions of the word problem for several new classes of one-relator specialinverse monoids. In establishing these results, we introduce a new theory ofconservative factorisations of words which provides a link between the pre-fix membership problem of a one-relator group and the group of units of thecorresponding one-relator special inverse monoid. Finally, we exhibit the firstexample of a one-relator group, defined by a reduced relator word, that has anundecidable prefix membership problem.
Original languageEnglish
Pages (from-to)4309-4358
Number of pages50
JournalTransactions of the American Mathematical Society
Issue number6
Early online date30 Mar 2021
Publication statusPublished - 2021


  • One-relator group
  • Prefix membership problem
  • Special inverse monoid
  • Word problem

Cite this