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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call