Abstract
We prove that every finite idempotent semigroup (band) is finitely related, which means that the clone of its term operations (i.e. operations induced by words) is determined by finitely many relations. This solves an open problem posed by Mayr (Semigroup Forum 86:613–633, 2013).
Similar content being viewed by others
References
Aichinger, E.: Constantive Mal’cev clones on finite sets are finitely related. Proc. Am. Math. Soc. 138, 3501–3507 (2010)
Aichinger, E., Mayr, P., McKenzie, R.: On the number of finite algebraic structures. J. Eur. Math. Soc. 16, 1673–1686 (2014)
Barto, L.: Finitely related algebras in congruence distributive varieties have near unanimity terms. Can. J. Math. 65, 3–21 (2013)
Barto, L.: Finitely related algebras in congruence modular varieties have few subpowers. J. Eur. Math. Soc. (to appear). http://www.karlin.mff.cuni.cz/~barto/Articles/ValerioteConjecture.pdf
Berman, J., Idziak, P., Marković, P., McKenzie, R., Valeriote, M., Willard, R.: Varieties with few subalgebras of powers. Trans. Am. Math. Soc. 362, 1445–1473 (2010)
Biryukov, A.P.: Varieties of idempotent semigroups. Algebra i Logika 9, 255–273 (1970). (in Russian)
Bulatov, A., Jeavons, P., Krokhin, A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34, 720–742 (2005)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, Graduate Texts in Mathematics. Springer-Verlag, New York (1981)
Davey, B.A., Jackson, M.G., Pitkethly, J.G., Szabó, Cs: Finite degree: algebras in general and semigroups in particular. Semigroup Forum 83, 89–110 (2011)
Fennemore, C.F.: All varieties of bands. I, II. Math. Nachr. 48, 237–252, 253–262 (1971)
Gerhard, J.A.: The lattice of equational classes of idempotent semigroups. J. Algebra 15, 195–224 (1970)
Gerhard, J.A., Petrich, M.: Free bands and free \(^\ast \)-bands. Glasgow Math. J. 28, 161–179 (1986)
Gerhard, J .A., Petrich, M.: Varieties of bands revisited. Proc. Lond. Math. Soc. 3(58), 323–350 (1989)
Jablonskiĭ, S.V.: The structure of the upper neighbourhood for predicately describable classes in \(P_k\). Dokl. Akad. Nauk SSSR 218, 304–307 (1974) (in Russian). English traslation: Sov. Math. Dokl. 15, 1353–1356 (1974)
Jackson, M. (ed.).: General Algebra and Its Applications 2013: Problem Session. Algebra Univ. 74, 9–16 (2015)
Marković, P., Maróti, M., McKenzie, R.: Finitely related clones and algebras with cube terms. Order 29, 345–359 (2012)
Mayr, P.: On finitely related semigroups. Semigroup Forum 86, 613–633 (2013)
Romov, B.A.: Local characterizations of Post algebras, I. Kibernetika 5, 38–45 (1976)
Rosenberg, I.G., Szendrei, Á.: Degrees of clones and relations. Houston J. Math. 9, 545–580 (1983)
Sapir, O.: The variety of idempotent semigroups is inherently non-finitely generated. Semigroup Forum 71, 140–146 (2005)
Acknowledgements
The author is grateful to a thorough and perceptive referee for a handful of comments which significantly improved the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mikhail Volkov.
This research was supported by the Ministry of Education, Science, and Technological Development of the Republic of Serbia through the Grant No. 174019.
Rights and permissions
About this article
Cite this article
Dolinka, I. Finite bands are finitely related. Semigroup Forum 97, 115–130 (2018). https://doi.org/10.1007/s00233-017-9897-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-017-9897-y