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.
Similar content being viewed by others
References
Birkhoff, G.: Lattice Theory. Amer. Math. Soc., Providence (1967)
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)
Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)
Brown, T., Lazerson, E.: On finitely generated idempotent semigroups. Semigroup Forum 78, 183–186 (2009)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. GTM78. Springer, New York (1981)
Chen, W., Zhao, X., Guo, X.: Conical residuated lattice-ordered idempotent monoids. Semigroup Forum 79, 244–278 (2009)
Chen, W., Zhao, X.: The structure of idempotent residuated chains. Czechoslov. Math. J. 59(134), 453–479 (2009)
Ciungu, L.C.: Noncommutative Multiple-Valued Logic Algebras. Springer Monographs in Mathematics. Springer, Berlin (2014)
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)
Galatos, N.: Equational bases for joins of residuated-lattice varieties. Stud. Log. 76, 227–240 (2004)
Hart, J., Rafter, L., Tsinakis, C.: The structure of commutative residuated lattices. Int. J. Algebra Comput. 12(4), 509–524 (2002)
Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs, vol. 12. Oxford University Press, New York (1995)
Hsieh, A., Raftery, J.G.: Semiconic idempotent residuated structures. Algebra Univ. 61, 413–430 (2009)
Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19–56. Kluwer, Dordrecht (2002)
Olson, J.S.: The subvariety lattice for representable idempotent commutative residuated lattices. Algebra Univ. 67, 43–58 (2012)
Petrich, M., Reilly, N.: Completely Regular Semigroups. Canadian Mathematical Society Series of Monographs and Advanced Texts. Wiley, New York (1999)
Raftery, J.G.: Representable idempotent commutative residuated lattices. Trans. Am. Math. Soc. 359, 4405–4427 (2007)
Stanovský, D.: Commutative idempotent residuated lattices. Czechoslov. Math. J. 57(132), 191–200 (2007)
Ward, M., Dilworth, R.P.: Residuated lattices. Proc. Natl. Acad. Sci. 24, 162–164 (1938)
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
Corresponding author
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
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-019-10014-3