Loop conditions

Abstrakt

We prove that a weakest non-trivial strong Maltsev condition given by a single identity of the form t(variables)=t(variables) = t(variables) is the existence of a term s satisfying s(x, y, y, z, z, x) = s(y, x, z, y, x, z).

Klíčová slova

• Maltsev conditions
• Loop conditions
• Siggers term