English

Unique inclusions of maximal C-clones in maximal clones

Rings and Algebras 2018-12-20 v2

Abstract

C\mathit{C}-clones are polymorphism sets of so-called clausal relations, a special type of relations on a finite domain, which first appeared in connection with constraint satisfaction problems in [Creignou et al. 2008]. We completely describe the relationship w.r.t. set inclusion between maximal C\mathit{C}-clones and maximal clones. As a main result we obtain that for every maximal C\mathit{C}-clone there exists exactly one maximal clone in which it is contained. A precise description of this unique maximal clone, as well as a corresponding completeness criterion for C\mathit{C}-clones is given.

Keywords

Cite

@article{arxiv.1406.6344,
  title  = {Unique inclusions of maximal C-clones in maximal clones},
  author = {Mike Behrisch and Edith Vargas-García},
  journal= {arXiv preprint arXiv:1406.6344},
  year   = {2018}
}

Comments

20 pages