Deciding absorption-Reference-Cited by-同舟云学术

Deciding absorption

Published:2016-08 Issue:05 Volume:26 Page:1033-1060
ISSN:0218-1967
Container-title:International Journal of Algebra and Computation
language:en
Short-container-title:Int. J. Algebra Comput.

Author:

Barto Libor¹,Kazda Alexandr²

Affiliation:

1. Department of Algebra, Charles University, Sokolovská 83, 186 00 Praha 8, Czech Republic

2. Institute of Science and Technology Austria, Am Campus 1, 3400, Klosterneuburg, 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.

Publisher

World Scientific Pub Co Pte Lt

Subject

General Mathematics

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218196716500430

Reference15 articles.

1. Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems

2. Congruence Distributivity Implies Bounded Width

3. Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem

4. Constraint Satisfaction Problems Solvable by Local Consistency Methods

5. Mal’tsev conditions, lack of absorption, and solvability

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Existence of cube terms in finite algebras;Algebra universalis;2021-01-12

2. A Proof of the CSP Dichotomy Conjecture;Journal of the ACM;2020-10-16

3. Finitely related algebras in congruence modular varieties have few subpowers;Journal of the European Mathematical Society;2018-04-23

4. A Proof of CSP Dichotomy Conjecture;2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS);2017-10

5. Deciding absorption in relational structures;Algebra universalis;2017-05-20