English

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

Rings and Algebras 2024-02-26 v2

Abstract

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(x1,,xn)g(y1,,ym)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 CSP\operatorname{CSP} of a finite structure A\mathbb{A} only depends on the set of minor identities satisfied by the polymorphism clone of A\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 CmD\mathcal{C} \preceq_{\mathrm{m}} \mathcal{D} if there exists a minor homomorphism from C\mathcal{C} to D\mathcal{D}. We show that the aforementioned poset has only three submaximal elements.

Keywords

Cite

@article{arxiv.2304.12807,
  title  = {Submaximal clones over a three-element set up to minor-equivalence},
  author = {Albert Vucaj and Dmitriy Zhuk},
  journal= {arXiv preprint arXiv:2304.12807},
  year   = {2024}
}