On the number of terms witnessing congruence modularity

Abstract

We study the validity of congruence inclusions of the form $\alpha (\beta \circ \alpha \gamma \circ \beta \circ \dots \circ \alpha \gamma \circ \beta )\subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots$ in congruence modular varieties, with an appropriate number of terms on each side and where juxtaposition denotes intersection. Two different methods using Day and Gumm terms are merged in order to obtain the so far best bounds. We introduce and study other related identities, possibly involving tolerances and admissible relations. We also slightly improve a result by A. Day, to the effect that if $n$ is even, then every variety with $n+2$ Jónsson terms has $2n+1$ Day terms.

v2: some additions; v3: only added a note about further developments, the rest of the manuscript remains unchanged

References in corpus (2)

• Relation identities in 3-distributive varieties
• Relation identities equivalent to congruence modularity

Cited by in corpus (2)

• Another characterization of congruence distributive varieties
• Day's Theorem is sharp for $n$ even