The lattice of clones of self-dual operations collapsed

被引:3
|
作者
Bodirsky, Manuel [1 ]
Vucaj, Albert [1 ]
Zhuk, Dmitriy [2 ,3 ]
机构
[1] Tech Univ Dresden, Inst Algebra, D-01062 Dresden, Germany
[2] Lomonosov Moscow State Univ, Dept Mech & Math, Moscow, Russia
[3] Charles Univ Prague, Fac Math & Phys, Dept Algebra, Prague, Czech Republic
基金
欧洲研究理事会;
关键词
Clone; clone homomorphism; minor-preserving map; primitive positive construction; linear Mal'cev condition; three-valued logic;
D O I
10.1142/S0218196723500327
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We prove that there are continuum many clones on a three-element set even if they are considered up to homomorphic equivalence. The clones we use to prove this fact are clones consisting of 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 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: we give a full description of the structures containing the relation {(0, 1), (1, 2), (2, 0)}, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure A to the polymorphism clone of a finite structure 93 if and only if there is a primitive positive construction of B in U.
引用
收藏
页码:717 / 749
页数:33
相关论文
共 50 条