Abstract
The solvability of the word problem for Yamamura’s HNN-extensions \([S;A_{1},A_{2};\varphi ]\) has been proved in some particular cases. However, we show that, contrary to the group case, the word problem for \([S;A_{1}A_{2};\varphi ]\) is undecidable even if we consider S to have finite \(\mathscr {R}\)-classes, \(A_{1}\) and \(A_{2}\) to be free inverse subsemigroups of finite rank and with zero, and \(\varphi ,\varphi ^{-1}\) to be computable.
Similar content being viewed by others
References
Ash, C.: Embedding theorem using amalgamation bases. In: Hall, T.E., Jones, P.R., Preston, G.B. (eds.) Semigroups, pp. 167–176. Academic Press, New York (1980)
Cherubini, A., Meakin, J.C., Piochi, B.: Amalgams of finite inverse semigroups. J. Algebra 285, 706–725 (2005)
Cherubini, A., Rodaro, E.: Amalgams vs Yamamura’s HNN-extensions of inverse semigroups. Algebra Colloq. 18(04), 647–657 (2011)
Dekov, D.V.: HNN-extensions of inverse semigroups. Semigroup Forum 49, 83–87 (1994)
Gilbert, N.D.: HNN-extensions of inverse semigroups and grupoid. J. Algebra 272, 27–45 (2004)
Hall, T.E.: Inverse and regular semigroups and amalgamations: a brief survey. Proc. Sympos. Semigroups, Nothern Illinois Univ., De Kalb I11, 49–79 (1979)
Howie, J.M.: Embedding theorems for semigroups. Q. J. Math. 2(14), 254–258 (1963)
Howie, J.M.: Automata and Languages. Clarendon Press, Oxford (1991)
Jackson, D.: A normal form theorem for Higman-Neumann-Neumann extensions of semigroups. Ph.D. Thesis, University of Illinois (1978)
Jajcayova, T.: HNN-extensions of inverse semigroups. PhD Thesis at University of Nebraska-Lincoln Department of Mathematics and Statistics (1997)
Jones, P.R., Margolis, S.W., Meakin, J.C., Stephen, J.B.: Free products of inverse semigroups II. Glasgow Math. J. 33(3), 373–387 (1991)
Lawson, M.: Inverse Semigroups. World Scientific Publishing Co. Pte. Ltd, Singapore (1998)
Lyndon, R. C., Schupp, P. E.: Combinatorial Group Theory. “Classics in Mathematics” series, reprint of the 1977 edition. World Scientific Publishing Co. Pte. Ltd, Singapore (2001)
Munn, W.D.: Free inverse semigroups. Proc. Lond. Math. Soc. 29(3), 385–404 (1974)
Petrich, M.: Inverse Semigroups. Wiley, New York (1984)
Rodaro, E., Cherubini, A.: Decidability of the word problem in Yamamura’s HNN-extensions of finite inverse semigroups. Semigroup Forum 77(2), 163–186 (2008)
Rodaro, E., Silva, P.V.: Amalgam of inverse semigroups and reversible two-counter machines. J. Pure Appl. Algebra 217(4), 585–597 (2013)
Stephen, J.B.: Presentation of inverse monoids. J. Pure Appl. Algebra 198, 81–112 (1990)
Yamamura, A.: HNN-extensions of inverse semigroups and applications. Int. J. Algebra Comput. 7(5), 605–624 (1997)
Yamamura, A.: Locally full hnn extensions of inverse semigroups. J. Austral. Math. Soc. 70, 235–272 (2001)
Yamamura, A.: Embedding theorems for HNN-extensions of inverse semigroups. J. Pure Appl. Algebra 210, 521–535 (2007)
Acknowledgments
The authors acknowledge A. Cherubini for the fruitful discussions and comments. The first author acknowledges support from the Italian Ministry of Foreign Affairs and Bethlehem University through the Italian project E-PLUS, and also acknowledges the PRIN project 2011 “Automi e Linguaggi Formali: Aspetti Matematici e Applicativi”. The second author acknowledges support from the European Regional Development Fund through the programme COMPETE and by the Portuguese Government through the FCT under the project PEst-C/MAT/UI0144/2013 and the support of the FCT project SFRH/BPD/65428/2009.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mark V. Lawson.
Rights and permissions
About this article
Cite this article
Ayyash, M.A., Rodaro, E. Undecidability of the word problem for Yamamura’s HNN-extension under nice conditions. Semigroup Forum 93, 86–96 (2016). https://doi.org/10.1007/s00233-015-9750-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-015-9750-0