Absorption and directed Jónsson terms

DOI10.1007/978-3-319-74772-9_7MaRDI QIDQ4586417zbMATH OpenOpenAlexFDO

Authors

Publication date 13 September 2018

Published in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.01072

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Abstract: We prove that every congruence distributive variety has directed J'{o}nsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original J'{o}nsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in CD and CM varieties, respectively. For finite algebras, these absorption theorems have already seen significant applications, but until now, it was not clear if the theorems hold for general algebras as well. Our method also yields a novel proof of a result by P. Lipparini about the existence a chain of terms (which we call Pixley terms) in varieties that are at the same time congruence distributive and $k$-permutable for some $k$.

Recommendations

• The Gumm level equals the Alvin level in congruence distributive varieties
• The Jónsson distributivity spectrum
• Few subpowers, congruence distributivity and near-unanimity terms
• Decidability of absorption in relational structures of bounded width.
• Mal'tsev conditions, lack of absorption, and solvability.

Cites work

• n-permutable varieties satisfy non trivial congruence identities
• Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
• Algebras Whose Congruence Lattices are Distributive.
• Congruence modularity is permutability composed with distributivity
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Finitely related algebras in congruence distributive varieties have near unanimity terms
• On \(n\)-permutable congruences

Cited in

(15)

• The Jónsson distributivity spectrum
• Quasiorder lattices of varieties
• Relation identities in 3-distributive varieties
• Mitschke's theorem is sharp
• The Gumm level equals the Alvin level in congruence distributive varieties
• Deciding absorption
• General algebra and its applications 2013: problem session.
• Absorption in universal algebra and CSP
• Maltsev conditions for general congruence meet-semidistributive algebras
• Satisfiability in MultiValued Circuits
• THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
• Between an n-ary and an n + 1-ary near-unanimity term
• Relative lengths of Maltsev conditions
• A short way to directed Jónsson terms

This page was built for publication: Absorption and directed Jónsson terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586417)