Please login to be able to save your searches and receive alerts for new content matching your search criteria.
We describe a manageable set of relations that generates the finitary relational clone of an algebra with a parallelogram term. This result applies to any algebra with a Maltsev term and to any algebra with a near unanimity term. One consequence of the main result is that on any finite set and for any finite k there are only finitely many clones of algebras with a k-ary parallelogram term which generate residually small varieties.
We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.