自对偶操作的克隆晶格崩溃了

M. Bodirsky, A. Vucaj, Dmitriy Zhuk
{"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}
引用次数: 2

摘要

在三元素集合上存在连续多克隆,即使它们被认为是\emph{同态等价}的。我们用来证明这一事实的克隆是由\emph{自对偶操作}组成的克隆,即保持关系$\{(0,1),(1,2),(2,0)\}$的操作。然而,当考虑到相对于\emph{小保留映射}而不是克隆同态的等价时,只有可数的这样的克隆。我们给出了自对偶操作的克隆集合的完整描述,这些克隆由小保映射的存在性排序。由于当且仅当$\mathfrak A$中存在$\mathfrak B$的原元正构造时,有限结构的多态克隆$\mathfrak A$到有限结构的多态克隆$\mathfrak B$之间存在一个小保留映射,因此我们的结果也可以被表述为关于一个由原元正构造排序的三元素集合上的结构的陈述。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
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$.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信