{"title":"三元素集合上的次最大克隆,直至小等价性","authors":"Albert Vucaj, 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, 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}
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 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.