Clones, order varieties, near unanimity functions and holes (Q810548): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Robert W. Quackenbush / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Ivo G. Rosenberg / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: V. N. Salij / rank | |||
Normal rank |
Revision as of 17:54, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Clones, order varieties, near unanimity functions and holes |
scientific article |
Statements
Clones, order varieties, near unanimity functions and holes (English)
0 references
1990
0 references
For an integer \(n\geq 3\) a function m: \(P^ n\to P\) is called a near unanimity function if \(m(x,y,y,...,y)=m(y,x,y,...,y)=...=m(y,y,...,y,x)=y\) for x,y\(\in P\). An ordered set \(P=\{a_ 1,a_ 2,...,a_ n\}\) is called a fence if the ordering in P is given by \(a_ 1<a_ 2>a_ 3<..\). or dually, with no other comparabilities. Theorem 1. A finite ordered set has an order-preserving majority function (i.e. an order-preserving near unanimity function with \(n=3)\) if and only if it is contained in the order variety generated by all fences. The set Cl(P) of all order-preserving functions on an ordered set P forms a clone. The authors put forward the conjecture that a finite bounded ordered set P has an n-ary order-preserving near unanimity function for some \(n\geq 3\) if and only if Cl(P) is finitely generated.
0 references
near unanimity function
0 references
fence
0 references
majority function
0 references
order variety
0 references
order- preserving functions
0 references
clone
0 references