Abstract
It is known that there are only two cancellative atoms in the subvariety lattice of residuated lattices, namely the variety of Abelian ℓ-groups \({\mathcal{CLG}}\) generated by the additive ℓ-group of integers and the variety \({\mathcal{CLG}^-}\) generated by the negative cone of this ℓ-group. In this paper we consider all cancellative residuated chains arising on 2-generated submonoids of natural numbers and show that almost all of them generate a cover of \({\mathcal{CLG}^-}\). This proves that there are infinitely many covers above \({\mathcal{CLG}^-}\) which are commutative, integral, and representable.
Similar content being viewed by others
References
Alfonsín J.L.R.: The Diophantine Frobenius Problem. Oxford Lectures Series in Mathematics and its Applications, vol. 30. Oxford University Press, Oxford (2005)
Bahls P., Cole J., Galatos N., Jipsen P., Tsinakis C.: Cancellative residuated lattices. Algebra Universalis 50, 83–106 (2003)
Blok W.J., Ferreirim I.: On the structure of hoops. Algebra Universalis 43, 233–257 (2000)
Blount K., Tsinakis C.: The structure of residuated lattices. Internat. J. Algebra Comput. 13, 437–461 (2003)
Galatos N.: Minimal varieties of residuated lattices. Algebra Universalis 52, 215–239 (2004)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An algebraic glimpse at substructural logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)
Holland W.C., Medvedev N.Y.: A very large class of small varieties of lattice-ordered groups. Comm. Algebra 22, 551–578 (1994)
Jipsen P., Tsinakis C.: A survey of residuated lattices. In: Martinez, J. (eds) Ordered Algebraic Structures, pp. 19–56. Kluwer, Dordrecht (2002)
Jónsson B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110–121 (1967)
Sylvester, J.J.: Problem 7382. Educational Times 37, 26 (1884). Reprinted in: Mathematical questions with their solution. Educational Times (with additional papers and solutions) 41, 21 (1884)
Weinberg E.C.: Free lattice-ordered abelian groups. Math. Ann. 151, 187–199 (1963)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by C. Tsinakis.
The work of the author was partly supported by the grant KJB100300701 of the Grant Agency of the Academy of Sciences of the Czech Republic and partly by the Institutional Research Plan AV0Z10300504.
Rights and permissions
About this article
Cite this article
Horčík, R. Cancellative residuated lattices arising on 2-generated submonoids of natural numbers. Algebra Univers. 63, 261–274 (2010). https://doi.org/10.1007/s00012-010-0076-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-010-0076-1