Charles Explorer logo
🇬🇧

Deciding absorption

Publication at Faculty of Mathematics and Physics |
2016

Abstract

We characterize absorption in finite idempotent algebras by means of Jonsson 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.