On the decidability of the word problem for amalgamated free products of inverse semigroups |
| |
Authors: | M Mazzucchelli A Cherubini |
| |
Institution: | (1) Dipartimento di Matematica “L. Tonelli”, Università di Pisa, Largo Bruno Pontecorvo 5, 56127 Pisa, Italy;(2) Dipartimento di Matematica “F. Brioschi”, Politecnico di Milano, Via Bonardi 9, 20133 Milano, Italy |
| |
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 ℛ-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. |
| |
Keywords: | Inverse semigroups Presentation Amalgamated free products Schützenberger automata |
本文献已被 SpringerLink 等数据库收录! |
|