A finitely presented monoid with a non-finitely generated group of units

Abstract

We exhibit an example of a monoid defined by finitely many generators and defining relations, the group of units of which is not finitely generated