On the decidability of the word problem for amalgamated free products of inverse semigroups.
type: Item
instance of: scholarly article
title: On the decidability of the word problem for amalgamated free products of inverse semigroups.
zbMATH Open document ID: 1158.20029
author: Marco Mazzucchelli
author: A. Cherubini
published in: Semigroup Forum
publication date: 2008-04-09T00:00:00Z
review text: The paper is investigating the decidability of the word problem of the amalgamated free product \(S_1*_US_2\) of an inverse semigroup amalgam \([S_1,S_2;U]\). The authors extend the methods of \textit{A. Cherubini, J. Meakin} and \textit{B. Piochi} [Semigroup Forum 54, No. 2, 199-220 (1997; Zbl 0872.20049)], based on \textit{P. Bennett}'s results [J.~Algebra 198, No. 2, 499-537 (1997; Zbl 0890.20042], and establish a list of five conditions on an inverse semigroup amalgam that guarantee the decidability of the word problem. The proof is technically rather involved. At the end of the paper an example is presented of two (isomorphic) inverse semigroups \(S_1\), \(S_2\) given by an idempotent pure presentation, with a common free monogenic inverse subsemigroup \(U\) and show that their theorem applies, whence \(S_1*_US_2\) has decidable word problem. It is remarked that the semigroups \(S_i\) have infinite \(\mathcal R\)-classes (the latter has long been considered to be an obstacle for the decidability of the word problem).
reviewed by: K. Auinger
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M18
zbMATH DE Number: 5261636
zbMATH Keywords: inverse semigroups
zbMATH Keywords: amalgamated free products
zbMATH Keywords: word problem
zbMATH Keywords: decidability
MaRDI profile type: MaRDI publication profile
full work available at URL: s00233-007-9030-8
OpenAlex ID: W2083504485
cites work: Amalgamated free products of inverse semigroups
cites work: ON THE WORD PROBLEM FOR TENSOR PRODUCTS AND AMALGAMS OF MONOIDS
cites work: Amalgams of free inverse semigroups.
cites work: Free products with amalgamation of inverse semigroups
cites work: Q4311861
cites work: Q4145882
cites work: Inverse Monoids, Trees, and Context-Free Languages
cites work: Free Inverse Semigroups
cites work: Q3337662
cites work: Presentations of inverse monoids
DOI: 10.1007/S00233-007-9030-8
description: scientific article; zbMATH DE number 5261636