Abstract
We discuss totally ordered monoids (or tomonoids, for short) that are commutative, positive, and finitely generated. Tomonoids of this kind correspond to certain preorders on free commutative monoids. In analogy to positive cones of totally ordered groups, we introduce direction cones to describe the preorders in question and we establish between both notions a Galois connection. In particular, we show that any finitely generated positive commutative tomonoid is the quotient of a tomonoid arising from a direction cone. We furthermore have a closer look at formally integral tomonoids and at nilpotent tomonoids. In the latter case, we modify our approach in order to obtain a description that is based on purely finitary means.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ciabattoni A., Metcalfe G., Montagna F.: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets and Systems 161, 369–389 (2010)
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007)
Eilenberg S., Schützenberger M.P.: Rational sets in commutative monoids. J. Algebra 13, 173–191 (1969)
Evans K., Konikoff M., Madden J.J., Mathis R., Whipple G.: Totally ordered commutative monoids. Semigroup Forum 62, 249–278 (2001)
Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon, Oxford (1963)
Gabovich E.Ya.: Fully ordered semigroups and their applications. Russian Math. Surveys 31, 147–216 (1976)
Grillet, P.A.: Commutative Semigroups. Kluwer, Dordrecht (2001)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Horčík R.: Solutions to some open problems on totally ordered monoids. J. Logic Comput. 20, 977–983 (2010)
Kari, L., Thierrin, G.: Languages and compatible relations on monoids. In: Paun, Gh. (ed.) Mathematical Linguistics and Related Topics, pp. 212–220. Editura Academiei Române, Bucharest (1995)
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer, Dordrecht (2000)
Petrík M., Sarkoci P.: Associativity of triangular norms characterized by the geometry of their level sets. Fuzzy Sets and Systems 202, 100–109 (2012)
Petrík, M., Vetterlein, Th.: The elementary extensions of finite, negative tomonoids. J. Log. Comput., to appear http://www.flll.jku.at/sites/default/files/u24/Level-sets-for-finite-tomonoids.pdf
Vetterlein Th.: Totally ordered monoids based on triangular norms. Comm. Algebra 43, 2643–2679 (2015)
Whipple G.W.: A condition for constructing formally real monoid algebras. Algebra Universersalis 54, 53–63 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by S. Pulmannova.
This research was partially supported by the Austrian Science Fund (FWF): project I 1923-N25.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Vetterlein, T. On positive commutative tomonoids. Algebra Univers. 75, 381–404 (2016). https://doi.org/10.1007/s00012-016-0377-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0377-0