Deciding absorption
classification
🧮 math.RA
cs.CC
keywords
absorptiongivenabsorbingalgebraalgebrasapplicationbasicblockers
read the original abstract
We characterize absorption in finite idempotent algebras by means of J\'onsson 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.