Abstract
In the first part of this paper we present a new family of finite bounded posets whose clones of monotone operations are not finitely generated. The proofs of these results are analogues of those in the famous paper of Tardos. Another interesting family of finite posets from the finite generability point of view is the family of locked crowns. To decide whether the clone of a locked crown where the crown is of at least six elements is finitely generated or not one needs to go beyond the scope of Tardos’s proof. Although our investigations are not conclusive in this direction, they led to the results in the second part of the paper. We call a monotone operation ascending if it is greater than or equal to some projection. We prove that the clones of bounded posets are generated by certain ascending idempotent monotone operations and the 0 and 1 constant operations. A consequence of this result is that if the clone of ascending idempotent operations of a finite bounded poset is finitely generated, then its clone is finitely generated as well. We provide an example of a half bounded finite poset whose clone of ascending idempotent operations is finitely generated but whose clone is not finitely generated. Another interesting consequence of our result is that if the clone of a finite bounded poset is finitely generated, then it has a three element generating set that consists of an ascending idempotent monotone operation and the 0 and 1 constant operations.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Change history
10 May 2019
The article On Finite Generability of Clones of Finite Posets, written by Ádám Kunos, Miklós Maróti, and László Zádori was originally published electronically on the publisher’s internet portal (currently SpringerLink) on April 04, 2019 without open access.
References
Rosenberg, I.G.: Über die funktionale Vollständingkeit in dem mehrwertigen Logiken. Rozpravy Ceskoslovenske Akad. Ved., Ser. Math. Nat. Sci. 80, 3–93 (1970)
Demetrovics, J., Hannák, L., Rónyai, L.: Near unanimity functions of partial orderings. In: Proc. 14th International Symp. on Multiple Valued Logic, Winnipeg, pp. 52–56 (1984)
Demetrovics, J., Rónyai, L.: Algebraic properties of crowns and fences. Order 6/1, 91–99 (1989)
McKenzie, R.: Monotone clones, residual smallness and congruence distributivity. Bull. Austral. Math. Soc. 41, 283–300 (1990)
Tardos, G.: A maximal clone of monotone operations which is not finitely generated. Order 3/3, 211–218 (1986)
Zádori, L.: Posets, near unanimity functions and zigzags. Bull. Aust. Math. Soc. 47/1, 79–93 (1993)
Zádori, L.: Series-parallel posets with non-finitely generated clones. Order 10/4, 305–316 (1993)
Acknowledgements
Open access funding provided by University of Szeged. We are thankful to the anonymous referees, especially to one of them whose suggestions made the proof of Theorem 4 simpler and led to an improved version of the definition of the operations \({g^{z}_{y}}\) in the proof of Theorem 12.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original version of this article was revised due to a retrospective Open Access order.
The authors were supported by the Ministry of Human Capacities 20391-3/2018/FEKUSTRAT, by the National Research, Development and Innovation Office K115518, and by the EU-funded EFOP-3.6.1-16-2016-00008.
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
Kunos, Á., Maróti, M. & Zádori, L. On Finite Generability of Clones of Finite Posets. Order 36, 653–666 (2019). https://doi.org/10.1007/s11083-019-09486-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-019-09486-3