Deciding absorption

L. Barto, A. Kazda, International Journal of Algebra and Computation 26 (2016) 1033–1060.


Journal Article | Published | English
Author
Department
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.
Publishing Year
Date Published
2016-07-20
Journal Title
International Journal of Algebra and Computation
Acknowledgement
Libor Barto and Alexandr Kazda were supported by the the Grant Agency of the Czech Republic, grant GACR 13-01832S.
Volume
26
Issue
5
Page
1033 - 1060
IST-REx-ID

Cite this

Barto L, Kazda A. Deciding absorption. International Journal of Algebra and Computation. 2016;26(5):1033-1060. doi:10.1142/S0218196716500430
Barto, L., & Kazda, A. (2016). Deciding absorption. International Journal of Algebra and Computation, 26(5), 1033–1060. https://doi.org/10.1142/S0218196716500430
Barto, Libor, and Alexandr Kazda. “Deciding Absorption.” International Journal of Algebra and Computation 26, no. 5 (2016): 1033–60. https://doi.org/10.1142/S0218196716500430.
L. Barto and A. Kazda, “Deciding absorption,” International Journal of Algebra and Computation, vol. 26, no. 5, pp. 1033–1060, 2016.
Barto L, Kazda A. 2016. Deciding absorption. International Journal of Algebra and Computation. 26(5), 1033–1060.
Barto, Libor, and Alexandr Kazda. “Deciding Absorption.” International Journal of Algebra and Computation, vol. 26, no. 5, World Scientific Publishing, 2016, pp. 1033–60, doi:10.1142/S0218196716500430.

Link(s) to Main File(s)
Access Level
OA Open Access

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar