Finitely Related Algebras In Congruence Distributive Varieties Have Near Unanimity Terms

Abstractwe show that every finite, finitely related algebra in a congruence distributive variety has a near unanimity term operation. as a consequence we solve the near unanimity problem for relational structures: it is decidable whether a given finite set of relations on a finite set admits a compatible near unanimity operation. this consequence also implies that it is decidable whether a given finite constraint language defines a constraint satisfaction problem of bounded strict width.

FINITE REGULAR BANDS ARE FINITELY RELATED

An algebra A is said to be finitely related if the clone Clo(A) of its term operations is determined by a finite set of finitary relations. We prove that each finite idempotent semigroup satisfying the identity xyxzx≈xyzx is finitely related.