Mitschke's theorem is sharp (Q2073369)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Mitschke's theorem is sharp |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mitschke's theorem is sharp |
scientific article |
Statements
Mitschke's theorem is sharp (English)
0 references
2 February 2022
0 references
\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.
0 references
Mitschkes theorem
0 references
near-unanimity term
0 references
Jónsson terms
0 references
Day terms
0 references
congruence distributivity
0 references
congruence modularity
0 references
0 references
0.751319169998169
0 references
0.7473607659339905
0 references
0.7422969937324524
0 references
0.741687536239624
0 references
0.732516884803772
0 references