The word problem for two-generator one-relator inverse monoids

Robert D. Gray, Catherine Reilly

We study the word problem in two-generator one-relator inverse monoids, proving both decidability and undecidability results. We give the first example of a two-generator one-relat…