Abstract
We prove that every congruence distributive variety has directed Jó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ónsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in congruence distributive and congruence modular 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 of 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.
The second author was supported by National Science Center grant DEC-2011-/01/B/ST6/01006.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barto, L. (2013). Finitely related algebras in congruence distributive varieties have near unanimity terms, Canadian Journal of Mathematics 65/1, 3–21.
Barto, L. and Kozik, M. (2012). Absorbing subalgebras, cyclic terms and the constraint satisfaction problem, Logical Methods in Computer Science 8/1:07, 1–26.
Gumm, H.-P. (1981). Congruence modularity is permutability composed with distributivity, Archiv der Mathematik (Basel) 36, 569–576.
Hagemann, J. and Mitschke, A. (1973). On n-permutable congruences, Algebra Universalis 3, 8–12.
Jónsson, B. (1967). Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21, 110–121.
Lipparini, P. (1995). n-Permutable varieties satisfy non trivial congruence identities, Algebra Universalis 33, 159–168.
Pixley, A. (1963). Distributivity and permutability of congruences in equational classes of algebras, Proceedings of the American Mathematical Society 14, 105–109.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Kazda, A., Kozik, M., McKenzie, R., Moore, M. (2018). Absorption and directed Jónsson terms. In: Czelakowski, J. (eds) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Outstanding Contributions to Logic, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-74772-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-74772-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74771-2
Online ISBN: 978-3-319-74772-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)