Unique inclusions of maximal C-clones in maximal clones (Q1652863)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unique inclusions of maximal C-clones in maximal clones |
scientific article |
Statements
Unique inclusions of maximal C-clones in maximal clones (English)
0 references
16 July 2018
0 references
C-clones are clones on a finite set \(D\) that are determined by sets of clausal relations. It is known that each clone different from the set of all finitary operations on \(D\) is contained in some maximal clone (i.e., a coatom of the lattice of all clones). The paper deals with maximal C-clones. The main result is that every maximal C-clone is contained in a unique maximal clone. Theorem~8.2 presents a detailed description of the corresponding clone. The clone is a polymorphism set of a nontrivial relation which is 1) a unary central relation, 2) a binary central relation, 3) an equivalence relation (necessary and sufficient conditions for the cases 1--3 are given). Furthermore , a completeness criterion for C-clones is found.
0 references
clone
0 references
C-clone
0 references
clausal relation
0 references
maximal C-clone
0 references
maximal clone
0 references