Abstract
To each 2-semilattice, one can associate a digraph and a partial order. We analyze these two structures working toward two main goals: One goal is to give a structural dichotomy on minimal congruences of 2-semilattices. From this, we are able to deduce information about the tame-congruence-theoretic types that occur in 2-semilattices. In particular, we show that the type of a finite simple 2-semilattice is always either 3 or 5 and can be deduced immediately from its associated digraph. The other goal is to introduce and explore a property that some 2-semilattices have which we have named the “component-semilattice property”. We show that this property must hold in every algebra in a variety of 2-semilattices that is both locally finite and residually small. Hence, a finite 2-semilattice that lacks this property generates a residually large variety.
Similar content being viewed by others
References
Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Log. Methods Comput. Sci. 8(1), 1:07, 27 (2012)
Bergman, C.: Universal algebra, pure and applied mathematics (Boca Raton), Fundamentals and selected topics, vol. 301. CRC Press, Boca Raton (2012)
Birkhoff, G.: Subdirect unions in universal algebra. Bull. Am. Math. Soc. 50, 764–768 (1944)
Bulatov, A.A.: Combinatorial problems raised from 2-semilattices. J. Algebra 298(2), 321–339 (2006)
Burris, S., Sankappanavar, H.P.: A course in universal algebra, graduate texts in mathematics, vol. 78. Springer, New York, Berlin (1981)
Davey, B.A., Pitkethly, J.G., Willard, R.: Dualisability versus residual character: a theorem and a counterexample. J. Pure Appl. Algebra 210(2), 423–435 (2007)
Gardner, B.J., Parmenter, M.M.: Directoids and directed groups. Algebra Univ. 33(2), 254–273 (1995)
Hobby, D., McKenzie, R.: The structure of finite algebras, contemporary mathematics, vol. 76. American Mathematical Society, Providence, RI (1988)
Ježek, J., McNulty, G.F.: Finite axiomatizability of congruence rich varieties. Algebra Univ. 34(2), 191–213 (1995)
Ježek, J., Quackenbush, R.: Directoids: algebraic models of up-directed sets. Algebra Univ. 27(1), 49–69 (1990)
Kearnes, K.A., Kiss, E.W.: The shape of congruence lattices. Mem. Am. Math. Soc. 222(1046), viii+169 (2013)
Kearnes, K.A., Willard, R.: Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound. Proc. Am. Math. Soc. 127(10), 2841–2850 (1999)
Mal’cev, A.I.: On the general theory of algebraic systems (Russian). Mat. Sb. (N.S.) 35(77), 3–20 (1956)
Maróti, M.: The variety generated by tournaments. ProQuest LLC, Ann Arbor (2002). http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3047448. Thesis (Ph.D.). Vanderbilt University
McKenzie, R.: Residual smallness relativized to congruence types. I. J. Pure Appl. Algebra 163(2), 209–220 (2001)
Papert, D.: Congruence relations in semi-lattices. J. Lond. Math. Soc. 39, 723–729 (1964)
Payne, I.: \(2\)-semilattices: Residual properties and applications to the constraint satisfaction problem. Thesis (Ph.D.). University of Waterloo (2017)
Quackenbush, R.W.: A survey of minimal clones. Aequ. Math. 50(1–2), 3–16 (1995)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by A. A. Bulatov.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Thanks to the Department of Mathematics and Statistics at McMaster University for their support in preparing this paper.
Rights and permissions
About this article
Cite this article
Payne, I. Some structural and residual properties of 2-semilattices. Algebra Univers. 81, 51 (2020). https://doi.org/10.1007/s00012-020-00682-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-020-00682-6