|
|||||
|
|
Inverse Subsemigroups of the Monogenic Free Inverse Semigroup |
|
| Authors: | Ana Oliveira Pedro V Silva |
| Institution: | 1. Centro de Matemática, Faculdade de Ciências , Universidade do Porto , Porto, Portugal amoliv@fc.up.pt;3. Centro de Matemática, Faculdade de Ciências , Universidade do Porto , Porto, Portugal |
| Abstract: | 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. |
| Keywords: | Finitely presented Free inverse semigroup Homomorphism problem Isomorphism problem |