Mitschke's theorem is sharp

DOI10.1007/S00012-021-00762-1zbMATH Open1485.08004arXiv1909.00863OpenAlexW4205922917MaRDI QIDQ2073369FDOQ2073369

Authors: Paolo Lipparini 

Publication date: 2 February 2022

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

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.

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

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

zbMATH Keywords

Day termscongruence modularitycongruence distributivitynear-unanimity termMitschkes theoremJónsson terms

Mathematics Subject Classification ID

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

Cites Work

• Varieties with few subalgebras of powers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finitely related algebras in congruence distributive varieties have near unanimity terms
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Algebras Whose Congruence Lattices are Distributive.
• Preserving near unanimity terms under products
• 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
• ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
• Congruence-distributive polynomial reducts of lattices
• THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
• Absorption in universal algebra and CSP
• The weakest nontrivial idempotent equations
• Relation identities in 3-distributive varieties
• Deciding the existence of minority terms
• Near-unanimity is decomposable

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)