Skip to main content
Log in

Variety generated by conical residuated lattice-ordered idempotent monoids

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

In this paper, we study the variety generated by conical idempotent residuated lattices. After obtaining some properties of conical idempotent residuated lattices, we establish a chain decomposition theorem for conical idempotent residuated lattices and give an equational basis for the variety. It is proved that the variety has the finite embeddability property. It is also proved that the semigroup reduct of a semiconical idempotent residuated lattice is a regular band.

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.

Fig. 1

Similar content being viewed by others

References

  1. Birkhoff, G.: Lattice Theory. Amer. Math. Soc., Providence (1967)

    MATH  Google Scholar 

  2. Blok, W.J., van Alten, C.J.: On the finite embeddability property for residuated ordered groupoids. Trans. Am. Math. Soc. 357(10), 4141–4157 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brown, T., Lazerson, E.: On finitely generated idempotent semigroups. Semigroup Forum 78, 183–186 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. GTM78. Springer, New York (1981)

    Book  MATH  Google Scholar 

  6. Chen, W., Zhao, X., Guo, X.: Conical residuated lattice-ordered idempotent monoids. Semigroup Forum 79, 244–278 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Chen, W., Zhao, X.: The structure of idempotent residuated chains. Czechoslov. Math. J. 59(134), 453–479 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ciungu, L.C.: Noncommutative Multiple-Valued Logic Algebras. Springer Monographs in Mathematics. Springer, Berlin (2014)

    Book  Google Scholar 

  9. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logics and the Foundations of Mathematics. Elsevier, Amsterdam (2007)

    MATH  Google Scholar 

  10. Galatos, N.: Equational bases for joins of residuated-lattice varieties. Stud. Log. 76, 227–240 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hart, J., Rafter, L., Tsinakis, C.: The structure of commutative residuated lattices. Int. J. Algebra Comput. 12(4), 509–524 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  12. Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs, vol. 12. Oxford University Press, New York (1995)

    Google Scholar 

  13. Hsieh, A., Raftery, J.G.: Semiconic idempotent residuated structures. Algebra Univ. 61, 413–430 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  14. Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19–56. Kluwer, Dordrecht (2002)

    Chapter  Google Scholar 

  15. Olson, J.S.: The subvariety lattice for representable idempotent commutative residuated lattices. Algebra Univ. 67, 43–58 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  16. Petrich, M., Reilly, N.: Completely Regular Semigroups. Canadian Mathematical Society Series of Monographs and Advanced Texts. Wiley, New York (1999)

    Google Scholar 

  17. Raftery, J.G.: Representable idempotent commutative residuated lattices. Trans. Am. Math. Soc. 359, 4405–4427 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. Stanovský, D.: Commutative idempotent residuated lattices. Czechoslov. Math. J. 57(132), 191–200 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  19. Ward, M., Dilworth, R.P.: Residuated lattices. Proc. Natl. Acad. Sci. 24, 162–164 (1938)

    Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referee heartily for his/her careful reading and valuable suggestions which lead to a substantial improvement of this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wei Chen.

Additional information

Communicated by Jimmie D. Lawson.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This work is supported by Grants of the NSF of China #11171294, China #11571158, Fujian Province #2014J01019, Guangdong Province #2014A030310119; and by the outstanding Young Innovative Talent Training Project in Guangdong Universities #2013LYM0086.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chen, W., Chen, Y. Variety generated by conical residuated lattice-ordered idempotent monoids. Semigroup Forum 98, 431–455 (2019). https://doi.org/10.1007/s00233-019-10014-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-019-10014-3

Keywords

Navigation