The lattice of clones of self-dual operations collapsed
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
Abstract
We prove that there are continuum many clones on a three-element set even if they are considered up to homomorphic equivalence. The clones we use to prove this fact are clones consisting of self-dual operations, i.e. operations that preserve the relation {(0, 1), (1, 2), (2, 0)}. However, there are only countably many such clones when considered up to equivalence with respect to minor-preserving maps instead of clone homomorphisms. We give a full description of the set of clones of self-dual operations, ordered by the existence of minor-preserving maps. Our result can also be phrased as a statement about structures on a three-element set: we give a full description of the structures containing the relation {(0, 1), (1, 2), (2, 0)}, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure to the polymorphism clone of a finite structure if and only if there is a primitive positive construction of in .
Details
Original language | English |
---|---|
Pages (from-to) | 717-749 |
Number of pages | 33 |
Journal | International Journal of Algebra and Computation |
Volume | 33 |
Issue number | 4 |
Publication status | Published - Jun 2023 |
Peer-reviewed | Yes |
External IDs
Scopus | 85162797770 |
---|---|
ORCID | /0000-0001-8228-3611/work/152544382 |