Abstract
A theorem by Baker and Pixley implies that any clone on a finite set is finitely generated if it contains a near-unanimity operation. This raises the question of what arity the generating operations must have. In this paper, we solve the last open bits of this problem for the majority case by showing that 5 and 8 are the smallest integers k such that every clone with a majority operation on a 3 and 4-element set, respectively, is generated by its k-ary part.
Similar content being viewed by others
References
Baker K.A., Pixley F.: Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems. Math. Z. 143, 165–174 (1975)
Kerkhoff S.: On the generation of clones containing near-unanimity operations. Algebra Universalis 65(1), 61–72 (2011)
Kerkhoff, S.: On the generation of (minimal) clones containing near-unanimity operations. In: 42nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2012), pp. 355 –360 (2012)
Lakser H.: Finitely generated clones of terms. Algebra Universalis 26, 78–89 (1989)
Post, E.L.: The Two-Valued Iterative Systems of Mathematical Logic. Annals of Mathematics Studies, no. 5. Princeton University Press, Princeton, N. J. (1941)
Zhuk, D., Moiseev, S.: On the clones containing a near-unanimity function. In: 43rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2013), pp. 129–134 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by K. Kearnes.
The research of the second author is supported by grant RFFI 13-01-00684-a.
Rights and permissions
About this article
Cite this article
Kerkhoff, S., Zhuk, D. The generation of clones with majority operations. Algebra Univers. 72, 71–80 (2014). https://doi.org/10.1007/s00012-014-0291-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0291-2