Skip to main content
Log in

Normal forms for semigroup amalgams

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. P. Bennett, Amalgamated free products of inverse semigroups, Journal of Algebra 198 (1997), 499–537.

    Article  MathSciNet  MATH  Google Scholar 

  2. P. Bennett, On the structure of inverse semigroup amalgams, Inter. J. Algebra and Computation 7 (1997), 577–604.

    Article  MathSciNet  MATH  Google Scholar 

  3. P. Bennett, Amalgamation of semilattices of groups, Inter. J. Algebra and Computation, to appear.

  4. 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.

    Article  MathSciNet  MATH  Google Scholar 

  5. A. Cherubini, T. Jajcayova and E. Rodaro, Maximal subgroups of amalgams of finite inverse semigroups, Semigroup Forum 90 (2015), 401–424.

    Article  MathSciNet  MATH  Google Scholar 

  6. 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.

    Article  MathSciNet  MATH  Google Scholar 

  7. A. Cherubini, J. Meakin and B. Piochi, Amalgams of free inverse semigroups, Semigroup Forum 54 (1997), 199–220.

    Article  MathSciNet  MATH  Google Scholar 

  8. A. Cherubini, J. Meakin and B. Piochi, Amalgams of finite inverse semigroups, Journal of Algebra 285 (2005), 706–725.

    Article  MathSciNet  MATH  Google Scholar 

  9. A. Cherubini, C. Nuccio and E. Rodaro, Multilinear equations on amalgams of finite inverse semigroups, Inter. J. Algebra and Computation 21 (2011), 35–59.

    Article  MathSciNet  MATH  Google Scholar 

  10. A. Cherubini, C. Nuccio and E. Rodaro, Amalgams of finite inverse semigroups and deterministic context-free languages, Semigroup Forum 85 (2012), 129–146.

    Article  MathSciNet  MATH  Google Scholar 

  11. A. Cherubini and E. Rodaro, Decidability of word problem in Yamamura’s HNN extensions of finite inverse semigroups, Semigroup Forum 77 (2008), 163–186.

    Article  MathSciNet  MATH  Google Scholar 

  12. A. Cherubini and E. Rodaro, Amalgams vs Yamamura’s HNN-extensions of inverse semigroups, Algebra Colloquium 18 (2011), 647–657.

    Article  MathSciNet  MATH  Google Scholar 

  13. A. P. Donsig, S. P. Haataja and J. Meakin, Amalgams of Inverse Semigroups and C*-algebras, Indiana University Mathematics Journal 60 (2011), 1059–1076.

    Article  MathSciNet  MATH  Google Scholar 

  14. 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.

    Article  MathSciNet  MATH  Google Scholar 

  15. T. E. Hall, Free products with amalgamation of inverse semigroups, Journal of Algebra 34 (1975), 375–385.

    Article  MathSciNet  MATH  Google Scholar 

  16. T. E. Hall, Amalgamation for inverse and generalised inverse semigroups, Trans. Amer. Math. Soc. 310 (1988), 313–323.

    Article  MathSciNet  MATH  Google Scholar 

  17. J. M. Howie, An Introduction to Semigroup Theory, Academic Press, London, 1976.

    MATH  Google Scholar 

  18. T. Jajcayova, HNN extensions of inverse semigroups, PhD Thesis at University of Nebraska-Lincoln Department of Mathematics and Statistics, 1997.

    MATH  Google Scholar 

  19. N. Kimura, On Semigroups, PhD Thesis, Tulane University of Louisiana, 1957.

    MATH  Google Scholar 

  20. M. Petrich, Inverse Semigroups, Wiley, New York, 1984.

    MATH  Google Scholar 

  21. E. Rodaro, Bicyclic subsemigroups in amalgams of finite inverse semigroups, Inter. J. Algebra and Computation 20 (2010), 89–113.

    Article  MathSciNet  MATH  Google Scholar 

  22. M. V. Sapir, Algorithmic problems for amalgams of finite semigroups, Journal of Algebra 229 (2000), 514–531.

    Article  MathSciNet  MATH  Google Scholar 

  23. J. B. Stephen, Presentations of inverse monoids, Journal of Pure and Applied Algebra 63 (1990), 81–112.

    Article  MathSciNet  MATH  Google Scholar 

  24. A. Yamamura, HNN extensions of inverse semigroups and applications, Inter. J. Algebra and Computation 7 (1997), 605–624.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Paul Bennett.

Additional information

Research was partially supported by a studentship from the Leverhulme Trust.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11856-017-1484-0

Navigation