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
Contributeur : Marco Mazzucchelli
<>
Soumis le : lundi 28 novembre 2016 - 15:14:38
Dernière modification le : jeudi 11 janvier 2018 - 06:12:31
Document(s) archivé(s) le : lundi 20 mars 2017 - 20:56:25
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〉
