Monotone clones and the varieties they determine (Q810555): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Exponents of Finite Simple Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3033816 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponents of lattice-ordered algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3313919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structure theory for ordered sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On algebraic properties of monotone clones / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3309892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Near unanimity identities and congruence distributivity in equational classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: The strong selection property and ordered sets of finite length / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudovarieties of finite algebras isomorphic to bounded distributive lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Clones, order varieties, near unanimity functions and holes / rank
 
Normal rank

Latest revision as of 09:11, 24 June 2024

scientific article
Language Label Description Also known as
English
Monotone clones and the varieties they determine
scientific article

    Statements

    Monotone clones and the varieties they determine (English)
    0 references
    0 references
    1990
    0 references
    A clone C on a set P is a family of finitary functions which contains the projections and is closed under composition. A clone C is called monotone if there is some order \(\leq\) on P such that C is the set of all finitary order-preserving functions with respect to this order. A finite nontrivial algebra P is said to be order-primal if the clone of finitary functions on P is monotone. It is proved that the variety generated by an order-primal algebra is congruence-distributive iff it contains at most two non-isomorphic subdirectly irreducible algebras (Theorem 1.7). Further, part (ii) of Theorem 3.3 states that if the prevarieties generated by order-primal algebras P and Q are equivalent as categories then the corresponding ordered sets or their duals generate that same order variety. The authors also show that every finite bounded ordered set of length 3 has a 5-ary order-preserving near unanimity function (see Theorem 4.4).
    0 references
    monotone clone
    0 references
    congruence-distributive variety
    0 references
    category equivalence
    0 references
    order-primal algebra
    0 references
    near unanimity function
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references