Relation identities in 3-distributive varieties

DOI10.1007/S00012-019-0624-2MaRDI QIDQ2007989zbMATH OpenOpenAlexWikidataFDO

Authors Paolo Lipparini

Publication date 22 November 2019

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

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.

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

Cites work

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

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)