Inverse Subsemigroups of the Monogenic Free Inverse Semigroup
ANA COSTA DE OLIVEIRA, Pedro V. Silva · Communications in Algebra · 2005
It is shown that every finitely generated inverse subsemigroup (submonoid) of the monogenic free inverse semigroup (monoid) is finitely presented. As a consequence, the homomorphism and the isomorphism problems for the monogenic free inverse semigroup (monoid) are proven to be decidable.