Skip to main content
Log in

The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We study the variety Var(ℕ) of lattice-ordered monoids generated by the natural numbers. In particular, we show that it contains all 2-generated positively ordered lattice-ordered monoids satisfying appropriate distributive laws. Moreover, we establish that the cancellative totally ordered members of Var(ℕ) are submonoids of ultrapowers of ℕ and can be embedded into ordered fields. In addition, the structure of ultrapowers relevant to the finitely generated case is analyzed. Finally, we provide a complete isomorphy invariant in the two-generated case.

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. Burris, S., and H.P. Sankappanavar, A Course in Universal Algebra. http://www.thoralf.uwaterloo.ca/htdocs/ualg.html

  2. Chang, C. C., and H. J. Keisler, Model Theory, North-Holland, Amsterdam 1990.

    Google Scholar 

  3. Evans, K., M. Konikoff, J. J. Madden, R. Mathis, and G. Whipple, ‘Totally Ordered Commutative Monoids’, Semigroup Forum, 62 (2001), 249-278.

    Google Scholar 

  4. Fuchs, L., Teilweise geordnete algebraische Strukturen, Vandenhoeck & Ruprecht, Göttingen 1966.

    Google Scholar 

  5. Gurevich, Yu. S., and A. I. Kokorin, ‘Universal Equivalence of Ordered Abelian Groups’ (in Russian), Algebra i Lokgika 2 (1963), 37-39.

    Google Scholar 

  6. Hofmann, K. H., and J. D. Lawson, ‘Linearly ordered semigroups: Historical origins and A. H. Clifford influence’, in K. H. Hofmann and M. W. Mislove, (eds.), Semigroup Theory and its Applications, London Math. Soc. LNS 231, Cambridge 1996, pp. 15-39.

  7. Kopytov, V. M., and N. Ya. Medvedev, The Theory of Lattice-Ordered Groups, Kluwer Academic Publishers, Dordrecht 1994.

    Google Scholar 

  8. Mal'cev, A. I., Algebraic Systems, Springer-Verlag, Heidelberg 1973.

    Google Scholar 

  9. Merlier, T., ‘Sur les Demi-Groupes Reticules et les O-Demi-Groupes’, Semigroup Forum 2 (1971), 64-70.

    Google Scholar 

  10. De Miguel, J. K., J. C. Candeal, and E. Induráin, ‘Archimedeaness and Additive Utility Functions on Totally Ordered Semigroups’, Semigroup Forum 52 (1996), 335-347.

    Google Scholar 

  11. Nation, J. B., Notes on Lattice Theory. http://www.math.hawaii.edu/~jb/books.html

  12. Repnitskii, V. B., ‘Bases of Identities of Varieties of a Lattice-Ordered Semigroup’, Algebra and Logic 22 (1983), 461-472.

    Google Scholar 

  13. Repnitskii, V. B., ‘On Subdirectly Irreducible Lattice-Ordered Semigroups’, Semigroup Forum 29 (1984), 277-318.

    Google Scholar 

  14. Saito, T., M. Katsura, Y. Kobayashi, and K. Kajitori, ‘On Totally Ordered Free Monoids’. in M. Saito, (ed.), Words, Languages, and Combinatories, World Scientific, River Edge NJ 1992, pp. 454-470.

    Google Scholar 

  15. Wille, A. M., ‘Verbandsgeordnete kommutative Monoide aus universell algebraischer Sicht’, diploma thesis, Technische Universität Darmstadt, 2003. http://www.mathematik.tu-darmstadt.de/~awille

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wille, A.M. The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers. Studia Logica 76, 275–290 (2004). https://doi.org/10.1023/B:STUD.0000032088.17345.ea

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:STUD.0000032088.17345.ea

Navigation