{"title":"自对偶操作的克隆晶格崩溃了","authors":"M. Bodirsky, A. Vucaj, Dmitriy Zhuk","doi":"10.1142/s0218196723500327","DOIUrl":null,"url":null,"abstract":"There are continuum many clones on a three-element set even if they are considered up to \\emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \\emph{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 \\emph{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, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure $\\mathfrak A$ to the polymorphism clone of a finite structure $\\mathfrak B$ if and only if there is a primitive positive construction of $\\mathfrak B$ in $\\mathfrak A$.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"37 1","pages":"717-749"},"PeriodicalIF":0.0000,"publicationDate":"2021-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"The lattice of clones of self-dual operations collapsed\",\"authors\":\"M. Bodirsky, A. Vucaj, Dmitriy Zhuk\",\"doi\":\"10.1142/s0218196723500327\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"There are continuum many clones on a three-element set even if they are considered up to \\\\emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \\\\emph{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 \\\\emph{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, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure $\\\\mathfrak A$ to the polymorphism clone of a finite structure $\\\\mathfrak B$ if and only if there is a primitive positive construction of $\\\\mathfrak B$ in $\\\\mathfrak A$.\",\"PeriodicalId\":13615,\"journal\":{\"name\":\"Int. J. Algebra Comput.\",\"volume\":\"37 1\",\"pages\":\"717-749\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Int. J. Algebra Comput.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/s0218196723500327\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Int. J. Algebra Comput.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/s0218196723500327","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The lattice of clones of self-dual operations collapsed
There are continuum many clones on a three-element set even if they are considered up to \emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \emph{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 \emph{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, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure $\mathfrak A$ to the polymorphism clone of a finite structure $\mathfrak B$ if and only if there is a primitive positive construction of $\mathfrak B$ in $\mathfrak A$.