Relation identities in 3-distributive varieties

DOI10.1007/S00012-019-0624-2zbMATH Open1454.08007arXiv1805.02458OpenAlexW2808333456WikidataQ126805542 ScholiaQ126805542MaRDI QIDQ2007989FDOQ2007989

Authors: Paolo Lipparini 

Publication date: 22 November 2019

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: Let $alpha$, $$, $gamma,dots$ $Theta$, $Psi,dots$ $R$, $S$, $T,dots$ be variables for, respectively, congruences, tolerances and reflexive admissible relations. Let juxtaposition denote intersection. We show that if the identity $$ holds in a variety $mathcalV$, then $mathcalV$ has a majority term, equivalently, $mathcalV$ satisfies $$. The result is unexpected, since in the displayed identity we have one more factor on the right and, moreover, if we let $Theta$ be a congruence, we get a condition equivalent to $3$-distributivity, which is well-known to be strictly weaker than the existence of a majority term. The above result is optimal in many senses, for example, we show that slight variations on the displayed identity, such as $R(Scircgamma)subseteqRScircRgammacircRS$ or $R(ScircT)subseteqRScircRTcircRTcircRS$ hold in every $3$-distributive variety. Similar identities are valid even in varieties with $2$ Gumm terms, with no distributivity assumption. We also discuss relation identities in $n$-permutable varieties and present a few remarks about implication algebras.

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

Recommendations

• scientific article; zbMATH DE number 5210478
• scientific article; zbMATH DE number 3972928
• Unions of admissible relations and congruence distributivity
• \(n\)-permutable varieties satisfy non trivial congruence identities
• Another characterization of congruence distributive varieties

zbMATH Keywords

tolerancecongruence distributive varietyimplication algebra\(n\)-permutable variety3-distributive varietyrelation identity

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Cites Work

• The structure of finite algebras
• The shape of congruence lattices
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Algebras Whose Congruence Lattices are Distributive.
• Title not available (Why is that?)
• Monotone Jónsson operations and near unanimity functions
• A Mal'cev condition for admissible relations
• Optimal Mal'tsev conditions for congruence modular varieties
• Geometrical methods in congruence modular algebras
• Congruence modularity implies the Arguesian identity
• Congruence varieties
• Varieties whose congruences satisfy certain lattice identities
• \(n\)-permutable varieties satisfy non trivial congruence identities
• On \(n\)-permutable congruences
• Implication algebras are 3-permutable and 3-distributive
• Title not available (Why is that?)
• Absorption and directed Jónsson terms
• Near unanimity identities and congruence distributivity in equational classes
• A Characterization of Identities Implying Congruence Modularity I
• On tractability and congruence distributivity
• Quasiorder lattices of varieties
• Relation categories and coproduct congruence categories in universal algebra
• The Jónsson distributivity spectrum
• Unions of admissible relations and congruence distributivity
• Title not available (Why is that?)

Cited In (7)

• Relative lengths of Maltsev conditions
• THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
• Mal'cev conditions corresponding to identities for compatible reflexive relations
• Exact-$m$-majority terms
• Unions of admissible relations and congruence distributivity
• Tolerances as images of congruences in varieties defined by linear identities
• Mitschke's theorem is sharp

This page was built for publication: Relation identities in 3-distributive varieties

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