1: \begin{abstract}

2: A monoid is \textit{special} if it admits a presentation in which all the defining relations are of the form $w = 1$. In this article, we study the word problem, in the sense of Duncan \& Gilman, for special monoids, and relate the language-theoretic properties of this set to the word problem for the group of units of the monoid, by developing the theory of the words representing invertible words. We show that a special monoid has regular word problem if and only if it is a finite group. When $\mathcal{C}$ is a sufficiently restrictive class of languages, we show that a special monoid has word problem in $\mathcal{C}$ if and only if its group of units has word problem in $\mathcal{C}$. As a corollary, we generalise the Muller-Schupp theorem to special monoids: a finitely presented special monoid has context-free word problem if and only if its group of units is virtually free. This completely answers, for the class of special monoids, a question of Duncan \& Gilman from 2004. By proving that any context-free monoid has decidable rational subset membership problem, we hence also obtain a large class of special monoids for which this problem is decidable.

3: \end{abstract}

4: