Deciding absorption
Libor Barto, Alexandr Kazda · International Journal of Algebra and Computation · 2016
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.