三元素集合上的次最大克隆,直至小等价性

IF 0.6 4区 数学 Q3 MATHEMATICS
Albert Vucaj, Dmitriy Zhuk
{"title":"三元素集合上的次最大克隆,直至小等价性","authors":"Albert Vucaj,&nbsp;Dmitriy Zhuk","doi":"10.1007/s00012-024-00852-w","DOIUrl":null,"url":null,"abstract":"<div><p>We study clones modulo minor homomorphisms, which are mappings from one clone to another preserving arities of operations and respecting permutation and identification of variables. Minor-equivalent clones satisfy the same sets of identities of the form <span>\\(f(x_1,\\dots ,x_n)\\approx g(y_1,\\dots ,y_m)\\)</span>, also known as minor identities, and therefore share many algebraic properties. Moreover, it was proved that the complexity of the <span>\\({\\text {CSP}}\\)</span> of a finite structure <span>\\(\\mathbb {A}\\)</span> only depends on the set of minor identities satisfied by the polymorphism clone of <span>\\(\\mathbb {A}\\)</span>. In this article we consider the poset that arises by considering all clones over a three-element set with the following order: we write <span>\\(\\mathcal {C}\\ {\\preceq _{\\textrm{m}}}\\ \\mathcal {D}\\)</span> if there exists a minor homomorphism from <span>\\(\\mathcal {C}\\)</span> to <span>\\(\\mathcal {D}\\)</span>. We show that the aforementioned poset has only three submaximal elements.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00852-w.pdf","citationCount":"0","resultStr":"{\"title\":\"Submaximal clones over a three-element set up to minor-equivalence\",\"authors\":\"Albert Vucaj,&nbsp;Dmitriy Zhuk\",\"doi\":\"10.1007/s00012-024-00852-w\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study clones modulo minor homomorphisms, which are mappings from one clone to another preserving arities of operations and respecting permutation and identification of variables. Minor-equivalent clones satisfy the same sets of identities of the form <span>\\\\(f(x_1,\\\\dots ,x_n)\\\\approx g(y_1,\\\\dots ,y_m)\\\\)</span>, also known as minor identities, and therefore share many algebraic properties. Moreover, it was proved that the complexity of the <span>\\\\({\\\\text {CSP}}\\\\)</span> of a finite structure <span>\\\\(\\\\mathbb {A}\\\\)</span> only depends on the set of minor identities satisfied by the polymorphism clone of <span>\\\\(\\\\mathbb {A}\\\\)</span>. In this article we consider the poset that arises by considering all clones over a three-element set with the following order: we write <span>\\\\(\\\\mathcal {C}\\\\ {\\\\preceq _{\\\\textrm{m}}}\\\\ \\\\mathcal {D}\\\\)</span> if there exists a minor homomorphism from <span>\\\\(\\\\mathcal {C}\\\\)</span> to <span>\\\\(\\\\mathcal {D}\\\\)</span>. We show that the aforementioned poset has only three submaximal elements.</p></div>\",\"PeriodicalId\":50827,\"journal\":{\"name\":\"Algebra Universalis\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-03-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s00012-024-00852-w.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algebra Universalis\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00012-024-00852-w\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra Universalis","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00012-024-00852-w","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

我们研究的克隆模是次要同态模,即从一个克隆模到另一个克隆模的映射,这些映射保留了操作的算术性,并尊重变量的置换和识别。次要等价克隆满足形式为 (f(x_1,\dots ,x_n)\approx g(y_1,\dots ,y_m)\)的相同同构集,也称为次要同构,因此共享许多代数性质。此外,有人证明了有限结构 \(\mathbb {A}\) 的 \({text {CSP}}\) 的复杂性只取决于 \(\mathbb {A}\) 的多态克隆所满足的次要标识集。在这篇文章中,我们考虑了通过考虑三元素集合上的所有克隆而产生的正集,其顺序如下:如果存在从\(\mathcal {C}\ {\preceq _\{textrm{m}}} 到\(\mathcal {D}\)的次要同态,我们就把\(\mathcal {C}\ {\preceq _\{textrm{m}}} 写为\(\mathcal {C}\ {\preceq _\{textrm{m}}}\ \mathcal {D}\)。我们将证明上述正集只有三个次最大元素。
本文章由计算机程序翻译,如有差异,请以英文原文为准。

Submaximal clones over a three-element set up to minor-equivalence

Submaximal clones over a three-element set up to minor-equivalence

We study clones modulo minor homomorphisms, which are mappings from one clone to another preserving arities of operations and respecting permutation and identification of variables. Minor-equivalent clones satisfy the same sets of identities of the form \(f(x_1,\dots ,x_n)\approx g(y_1,\dots ,y_m)\), also known as minor identities, and therefore share many algebraic properties. Moreover, it was proved that the complexity of the \({\text {CSP}}\) of a finite structure \(\mathbb {A}\) only depends on the set of minor identities satisfied by the polymorphism clone of \(\mathbb {A}\). In this article we consider the poset that arises by considering all clones over a three-element set with the following order: we write \(\mathcal {C}\ {\preceq _{\textrm{m}}}\ \mathcal {D}\) if there exists a minor homomorphism from \(\mathcal {C}\) to \(\mathcal {D}\). We show that the aforementioned poset has only three submaximal elements.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Algebra Universalis
Algebra Universalis 数学-数学
CiteScore
1.00
自引率
16.70%
发文量
34
审稿时长
3 months
期刊介绍: Algebra Universalis publishes papers in universal algebra, lattice theory, and related fields. In a pragmatic way, one could define the areas of interest of the journal as the union of the areas of interest of the members of the Editorial Board. In addition to research papers, we are also interested in publishing high quality survey articles.
×
引用
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学术官方微信