1: \begin{abstract}

2: This note investigates and clarifies some connections between the theory of one-relator groups and \textit{special} one-relation inverse monoids, i.e. those inverse monoids with a presentation of the form $\pres{Inv}{A}{w=1}$. We show that every one-relator group admits a special one-relation inverse monoid presentation. We subsequently consider the classes $\any,\red, \cred, \pos$ of one-relator groups which can be defined by special one-relation inverse monoid presentations in which the defining word is arbitrary; reduced; cyclically reduced; or positive, respectively. We show that the inclusions $\any \supset \cred \supset \pos$ are all strict. Conditional on a natural conjecture, we prove $\any \supset \red$. Following this, we use the Benois algorithm recently devised by Gray \& Ru\v{s}kuc to produce an infinite family of special one-relation inverse monoids which exhibit similar pathological behaviour (which we term \textit{O'Haresque}) to the O'Hare monoid with respect to computing the minimal invertible pieces of the defining word. Finally, we provide a counterexample to a conjecture by Gray \& Ru\v{s}kuc that the Benois algorithm always correctly computes the minimal invertible pieces of a special one-relation inverse monoid.

3: \end{abstract}

4: