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

DOI10.1007/S00012-019-0580-XMaRDI QIDQ1721745zbMATH OpenOpenAlexFDO

Authors Alexandr Kazda

Publication date 8 February 2019

Published in Algebra Universalis (Search for Journal in Brave)

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

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)

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.

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.

Cites work

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

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)