Deciding absorption in relational structures
Rings and Algebras
2016-01-26 v1
Abstract
We prove that for finite, finitely related algebras the concepts of an absorbing subuniverse and a J\'onsson absorbing subuniverse coincide. Consequently, it is decidable whether a given subset is an absorbing subuniverse of the polymorphism algebra of a given relational structure.
Cite
@article{arxiv.1601.06450,
title = {Deciding absorption in relational structures},
author = {Libor Barto and Jakub Bulín},
journal= {arXiv preprint arXiv:1601.06450},
year = {2016}
}
Comments
20 pages