Abstract
We define a class of inverse semigroup amalgams and derive normal forms for the amalgamated free products in the variety of semigroups. The class includes all amalgams of finite inverse semigroups, recently studied by Cherubini, Jajcayova, Meakin, Nuccio, Piochi and Rodaro (2005–2014), and lower bounded amalgams, that were introduced by the author (1997). We provide sufficient conditions for decidable word problem. We show that the word problem is decidable for an amalgamated free product of finite inverse semigroups. The normal forms can be used to study amalgams in subvarieties of inverse semigroups. In a forthcoming paper by the author, the results are used for varieties of semilattices of groups.
Similar content being viewed by others
References
P. Bennett, Amalgamated free products of inverse semigroups, Journal of Algebra 198 (1997), 499–537.
P. Bennett, On the structure of inverse semigroup amalgams, Inter. J. Algebra and Computation 7 (1997), 577–604.
P. Bennett, Amalgamation of semilattices of groups, Inter. J. Algebra and Computation, to appear.
J.-C. Birget, S.W. Margolis and J. C. Meakin, On the word problem for tensor products and amalgams of monoids, Inter. J. Algebra and Computation 9 (1999), 271–294.
A. Cherubini, T. Jajcayova and E. Rodaro, Maximal subgroups of amalgams of finite inverse semigroups, Semigroup Forum 90 (2015), 401–424.
A. Cherubini and M. Mazzucchelli, On the decidability of the word problem for amalgamated free products of inverse semigroups, Semigroup Forum 76 (2008), 309–329.
A. Cherubini, J. Meakin and B. Piochi, Amalgams of free inverse semigroups, Semigroup Forum 54 (1997), 199–220.
A. Cherubini, J. Meakin and B. Piochi, Amalgams of finite inverse semigroups, Journal of Algebra 285 (2005), 706–725.
A. Cherubini, C. Nuccio and E. Rodaro, Multilinear equations on amalgams of finite inverse semigroups, Inter. J. Algebra and Computation 21 (2011), 35–59.
A. Cherubini, C. Nuccio and E. Rodaro, Amalgams of finite inverse semigroups and deterministic context-free languages, Semigroup Forum 85 (2012), 129–146.
A. Cherubini and E. Rodaro, Decidability of word problem in Yamamura’s HNN extensions of finite inverse semigroups, Semigroup Forum 77 (2008), 163–186.
A. Cherubini and E. Rodaro, Amalgams vs Yamamura’s HNN-extensions of inverse semigroups, Algebra Colloquium 18 (2011), 647–657.
A. P. Donsig, S. P. Haataja and J. Meakin, Amalgams of Inverse Semigroups and C*-algebras, Indiana University Mathematics Journal 60 (2011), 1059–1076.
S. Haataja, S. W. Margolis and J. Meakin, Bass–Serre theory for groupoids and the structure of full regular semigroup amalgams, Journal of Algebra 183 (1996), 38–54.
T. E. Hall, Free products with amalgamation of inverse semigroups, Journal of Algebra 34 (1975), 375–385.
T. E. Hall, Amalgamation for inverse and generalised inverse semigroups, Trans. Amer. Math. Soc. 310 (1988), 313–323.
J. M. Howie, An Introduction to Semigroup Theory, Academic Press, London, 1976.
T. Jajcayova, HNN extensions of inverse semigroups, PhD Thesis at University of Nebraska-Lincoln Department of Mathematics and Statistics, 1997.
N. Kimura, On Semigroups, PhD Thesis, Tulane University of Louisiana, 1957.
M. Petrich, Inverse Semigroups, Wiley, New York, 1984.
E. Rodaro, Bicyclic subsemigroups in amalgams of finite inverse semigroups, Inter. J. Algebra and Computation 20 (2010), 89–113.
M. V. Sapir, Algorithmic problems for amalgams of finite semigroups, Journal of Algebra 229 (2000), 514–531.
J. B. Stephen, Presentations of inverse monoids, Journal of Pure and Applied Algebra 63 (1990), 81–112.
A. Yamamura, HNN extensions of inverse semigroups and applications, Inter. J. Algebra and Computation 7 (1997), 605–624.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research was partially supported by a studentship from the Leverhulme Trust.
Rights and permissions
About this article
Cite this article
Bennett, P. Normal forms for semigroup amalgams. Isr. J. Math. 219, 379–410 (2017). https://doi.org/10.1007/s11856-017-1484-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-017-1484-0