Abstract
A homomorphism quasi-order between algebraic structures \(\mathcal {A}\) and \({\mathcal{B}}\) of the same type is defined as follows: \({\mathscr{A}}\leq {\mathscr{B}}\) if there is a homomorphism of \({\mathscr{A}}\) to \({\mathscr{B}}\). The paper deals with the class \({\mathcal{L}}\) of all connected monounary algebras. Let \(\sim \) be the equivalence corresponding to the relation ≤ and let \(\mathbb {L}={\mathcal{L}}\sim \). We prove that \(\mathbb {L}\) is a lattice. Next it is shown that the lattice \(\mathbb {L}\) is distributive. For the purpose of the proof, to each connected monounary algebra without a cycle, an increasing sequence of ordinals is assigned. Finally, we deal with the special case of increasing sequences, namely, such that the sequence contains only positive integers.
Similar content being viewed by others
References
Bodirsky, M.: Cores of countably categorical structures. Log. Meth. Comput. Sci. 3(1:2), 1–16 (2007)
Bodirsky, M., Bradley-Williams, D., Pinsker, M., Pongrácz, A.: The universal homogeneous binary tree. J. Log. Comput. 28(1), 133–163 (2018)
Bodirsky, M., Martin, B., Pinsker, M., Pongrácz, A.: Constraint satisfaction problems for reducts of homogeneous graphs. SIAM J. Comput. 48(4), 1224–1264 (2019)
Davey, B.A.: The homomorphism order: from graphs to algebras. In: The 55th Summer School on Algebra and Ordered Sets, Nový Smokovec. https://drive.google.com/file/d/0B5HHlNpzGi7FZWVBWFgtMGVPM1k/view (2017)
Davey, B.A., Gray, C.T., Pitkethly, J.G.: The homomorphism lattice induced by a finite algebra. In: AAA94+NSAC 2017, Novi Sad. https://sites.dmi.uns.ac.rs/aaa94nsac2017/wp-content/uploads/2017/06/Davey-hom-lattice-of-a-finite-algebra-NSAC-2017.pdf (2017)
Davey, B.A., Gray, C.T., Pitkethly, J.G.: The homomorphism lattice induced by a finite algebra. Order 35, 193–214 (2018)
Erdös, P. L., Nešetřil, J., Soukup, L.: Antichains in the homomorphism order of graphs. Comment. Math. Univ. Carolin. 48, 571–583 (2007)
Foniok, J., Nešetřil, J.: On finite maximal antichains in the homomorphism order. Electron Notes Discrete Math. 29, 389–396 (2007)
Foniok, J., Nešetřil, J., Tardif, C.: Generalized dualities and maximal finite antichains in the homomorphism order of relational structures. Eur. J. Comb. 29, 881–899 (2008)
Gavalec, M., Jakubíková, D.: On the breadth of the category of monounary algebras. Math. Slovaca 28, 263–276 (1978). (in Russian)
Hell, P., Nešetřil, J.: Graphs and Homomorphisms, Oxford Lecture Series in Mathematics and its Applications, vol. 28. Oxford University Press, Oxford (2004)
Hubička, J., Nešetřil, J.: Finite paths are universal. Order 22, 21–40 (2005)
Jakubíková-Studenovská, D.: Retract varieties of monounary algebras. Czechoslovak Math. J. 47(122), 701–716 (1997)
Jakubíková-Studenovská, D., Pócs, J., Monounary Algebras, P.J.: Šafárik Univ. košice (2009)
Jónsson, B.: Topics in Universal Algebra. Springer, Berlin (1972)
Kwuida, L., Lehtonen, E.: On the homomorphism order of labeled posets. Order 28, 251–265 (2011)
Nešetřil, J., Ossona de Mendez, P.: Cuts and bounds. Discrete Math. 302(1–3), 211–224 (2005)
Novotný, M.: ÜBer Abbildungen von Mengen. Pacif. J. Math. 13, 1359–1369 (1963)
Novotný, M.: Mono-unary algebras in the work of Czechoslovak mathematicians. Arch. Math. (Brno) 26, 155–164 (1990)
Pitkethly, J.G., Davey, B.A.: Dualisability: Unary algebras and beyond. Springer, Berlin (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by Slovak VEGA grant 1/0097/18.
Rights and permissions
About this article
Cite this article
Jakubíková–Studenovská, D. Homomorphism Order of Connected Monounary Algebras. Order 38, 257–269 (2021). https://doi.org/10.1007/s11083-020-09539-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-020-09539-y