Deciding absorption Journal Article


Author(s): Barto, Libor; Kazda, Alexandr
Article Title: Deciding absorption
Affiliation IST Austria
Abstract: 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.
Keywords: Absorbing subalgebra; Jónsson absorbing subalgebra; near unanimity term; Jónsson terms; cube term; cube term blocker; congruence distributivity; few subpowers
Journal Title: International Journal of Algebra and Computation
Volume: 26
Issue 5
ISSN: 0218-1967
Publisher: World Scientific Publishing  
Date Published: 2016-07-20
Start Page: 1033
End Page: 1060
URL:
DOI: 10.1142/S0218196716500430
Notes: Libor Barto and Alexandr Kazda were supported by the the Grant Agency of the Czech Republic, grant GACR 13-01832S. Alexandr Kazda was supported by European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 616160.
Open access: yes (repository)
IST Austria Authors
  1. Alexandr Kazda
    3 Kazda
Related IST Austria Work