Mitschke's theorem is sharp

DOI10.1007/S00012-021-00762-1MaRDI QIDQ2073369zbMATH OpenOpenAlexFDO

Authors Paolo Lipparini

Publication date 2 February 2022

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

congruence distributivitycongruence modularityDay termsJónsson termsMitschkes theoremnear-unanimity term

Mathematics Subject Classification ID

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

Abstract: A. Mitschke showed that a variety with an $m$-ary near-unanimity term has J'onsson terms $t_0,dots,t_{2m-4}$ witnessing congruence distributivity. We show that Mitschke's result is sharp. We also evaluate the best possible number of Day terms witnessing congruence modularity. More generally, we characterize exactly the best bounds for many congruence identities satisfied by varieties with an $m$-ary near-unanimity term.

Review text

\textit{A. Mitschke} [ibid. 8, 29--32 (1978; Zbl 0368.08003)] showed that a variety with an \(m\)-ary near-unanimity term has Jonsson terms \(t_0,\dots,t_{2m-4}\) witnessing congruence distributivity. The author shows that this result is sharp using a construction of the variety which does not has less of these Jonsson terms. He also evaluates the best possible number of Day terms witnessing congruence modularity.

Recommendations

• The Jónsson distributivity spectrum
• Few subpowers, congruence distributivity and near-unanimity terms
• The Gumm level equals the Alvin level in congruence distributive varieties
• On Jónsson's theorem
• Preserving near unanimity terms under products

Cites work

• A Characterization of Modularity for Congruence Lattices of Algebras*
• Absorption and directed Jónsson terms
• Absorption in universal algebra and CSP
• Algebras Whose Congruence Lattices are Distributive.
• Congruence-distributive polynomial reducts of lattices
• Deciding the existence of minority terms
• Finitely related algebras in congruence distributive varieties have near unanimity terms
• scientific article; zbMATH DE number 3939410 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 1557989 (Why is no real title available?)
• Implication algebras are 3-permutable and 3-distributive
• Near unanimity identities and congruence distributivity in equational classes
• Near-unanimity is decomposable
• ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Preserving near unanimity terms under products
• Relation identities in 3-distributive varieties
• THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
• The weakest nontrivial idempotent equations
• Varieties with few subalgebras of powers

Cited in

(2)

• Between an n-ary and an n + 1-ary near-unanimity term
• Exact-m-majority terms

This page was built for publication: Mitschke's theorem is sharp

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