Affiliation:
1. Faculty of Sciences, University of Novi Sad, Trg Dositeja Obradovića 3, 21000 Novi Sad, Serbia
Abstract
The “semilattices of Mal’cev blocks”, for short SMB algebras, were defined by A. Bulatov. In a recently accepted paper by P. Đapić, P. Marković, R. McKenzie, and A. Prokić, the class of all SMB algebras and its subclass of regular SMB algebras were proved to be varieties of algebras. In this paper, we find an equational base of the first variety and simplify the previously known equational base of the second variety.
Funder
Ministry of Education, Science and Technological Development of the Republic of Serbia
Subject
General Mathematics,Engineering (miscellaneous),Computer Science (miscellaneous)
Reference8 articles.
1. The algebraic theory of semigroups, volume I;Clifford;Math. Surv. Monogr.,1961
2. Hobby, D., and McKenzie, R. (1988). The Structure of Finite Algebras (Contemporary Mathematics), American Mathematical Society.
3. Prokić, A., Đapić, P., Marković, P., and McKenzie, R. (Filomat, 2022). SMB algebras I: On the variety of SMB algebras, Filomat, accepted.
4. Constraint Satisfaction Problems over semilattice block Mal’tsev algebras;Bulatov;Inf. Comput.,2019
5. Bulatov, A. (2017, January 15–17). A dichotomy theorem for nonuniform CSPs. Proceedings of the 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), Berkeley, CA, USA.