Taylor term does not imply any nontrivial linear one-equality Maltsev condition

DOI10.1007/S00012-019-0580-XzbMATH Open1472.08007arXiv1706.01147OpenAlexW2624141012MaRDI QIDQ1721745FDOQ1721745

Authors: Alexandr Kazda 

Publication date: 8 February 2019

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

Abstract: It is known that any finite idempotent algebra that satisfies a nontrivial Maltsev condition must satisfy the linear one-equality Maltsev condition (a variant of the term discovered by M. Siggers and refined by K. Kearnes, P. Markovi'c, and R. McKenzie): [ t(r,a,r,e)approx t(a,r,e,a). ] We show that if we drop the finiteness assumption, the $k$-ary weak near unanimity equations imply only trivial linear one-equality Maltsev conditions for every $kgeq3$. From this it follows that there is no nontrivial linear one-equality condition that would hold in all idempotent algebras having Taylor terms. Miroslav Olv{s}'ak has recently shown that there is a weakest nontrivial strong Maltsev condition for idempotent algebras. Olv{s}'ak has found several such (mutually equivalent) conditions consisting of two or more equations. Our result shows that Olv{s}'ak's equation systems can't be compressed into just one equation.

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

Recommendations

• The weakest nontrivial idempotent equations
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Idempotent Mal'cev conditions and 2-uniform congruences
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• Characterizations of several Maltsev conditions.

zbMATH Keywords

equational theoryMaltsev conditionsSiggers termweak near unanimity

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05)

Cites Work

• Existence theorems for weakly symmetric operations
• Term Rewriting and All That
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Varieties Obeying Homotopy Laws
• The weakest nontrivial idempotent equations

Cited In (6)

• Loop conditions for strongly connected digraphs
• Idempotent Mal'cev conditions and 2-uniform congruences
• Pseudo‐loop conditions
• The weakest nontrivial idempotent equations
• Loop conditions
• Maltsev conditions for general congruence meet-semidistributive algebras

This page was built for publication: Taylor term does not imply any nontrivial linear one-equality Maltsev condition

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