pith. sign in

arxiv: 1706.01147 · v3 · pith:YK563ZHHnew · submitted 2017-06-04 · 🧮 math.RA · math.LO

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

classification 🧮 math.RA math.LO
keywords conditionmaltsevlinearnontrivialone-equalityidempotentalgebrasconditions
0
0 comments X
read the original 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 $k\geq 3$. From this it follows that there is no nontrivial linear one-equality condition that would hold in all idempotent algebras having Taylor terms. Miroslav Ol\v{s}\'ak has recently shown that there is a weakest nontrivial strong Maltsev condition for idempotent algebras. Ol\v{s}\'ak has found several such (mutually equivalent) conditions consisting of two or more equations. Our result shows that Ol\v{s}\'ak's equation systems can't be compressed into just one equation.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.