Abstract : We study inverse semigroup amalgams [S 1 , S 2 ; U ], where S 1 and S 2 are finitely presented inverse semigroups with decidable word problem and U is an inverse semigroup with decidable membership problem in S 1 and S 2. We use a modified version of Bennett's work on the structure of Schützenberger graphs of the R-classes of S 1 * U S 2 to state sufficient conditions for the amalgamated free products S 1 * U S 2 having decidable word problem.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01404257 Contributor : Marco MazzucchelliConnect in order to contact the contributor Submitted on : Monday, November 28, 2016 - 3:14:38 PM Last modification on : Tuesday, November 19, 2019 - 12:00:58 PM Long-term archiving on: : Monday, March 20, 2017 - 8:56:25 PM
Marco Mazzucchelli, Alessandra Cherubini. On the decidability of the word problem for amalgamated free products of inverse semigroups. Semigroup Forum, Springer Verlag, 2008, 76, pp.309 - 329. ⟨10.1007/s00233-007-9030-8⟩. ⟨ensl-01404257⟩