Abstract
The congruence lattices of all algebras defined on a fixed finite set A ordered by inclusion form a finite atomistic lattice \(\mathcal {E}\). We describe the atoms and coatoms. Each meet-irreducible element of \(\mathcal {E}\) being determined by a single unary mapping on A, we characterize completely those which are determined by a permutation or by an acyclic mapping on the set A. Using these characterisations we deduce several properties of the lattice \(\mathcal {E}\); in particular, we prove that \(\mathcal {E}\) is tolerance-simple whenever \(|A|\ge 4\).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Grätzer, G., Schmidt, E.T.: Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) 24, 34–59 (1963)
Jakubíková-Studenovská, D.: Lattice of quasiorders of monounary algebras. Miskolc Math. Notes 10, 41–48 (2009)
Jakubíková-Studenovská, D., Pócs, J.: Monounary Algebras. P.J. Šafárik Univ, Košice (2009)
Jakubíková-Studenovská, D., Pöschel, R., Radeleczki, S.: The lattice of compatible quasiorders of acyclic monounary algebras. Order 28, 481–497 (2011)
Jakubíková-Studenovská, D., Pöschel, R., Radeleczki, S.: Irreducible quasiorders of monounary algebras. J. Aust. Math. Soc. 93, 259–276 (2013)
Jakubíková-Studenovská, D., Pöschel, R., Radeleczki, S.: The lattice of quasiorder lattices of algebras on a finite set. Algebra Universalis 75, 197–220 (2016)
Janowitz, M.: Tolerances, interval orders, and semiorders. Czechoslov. Math. J. 44(119), 21–38 (1994)
Janowitz, M.F., Radeleczki, S.: Aggregation on a finite lattice. Order 33, 371–388 (2016)
Kindermann, M.: Über die Äquivalenz von Ordnungspolynomvollständigkeit und Toleranzeinfachheit endlicher Verbände. In: Contributions to general algebra (Proc. Klagenfurt Conf., Klagenfurt, 1978), pp. 145–149. Heyn, Klagenfurt (1979)
Pöschel, R.: Galois connections for operations and relations. In: Denecke, K., Erné, M., Wismath, S. (eds.) Galois connections and applications. Mathematics and its Applications, vol. 565, pp. 231–258. Kluwer, Dordrecht (2004)
Pöschel, R., Kalužnin, L.: Funktionen- und Relationenalgebren. Deutscher Verlag der Wissenschaften, Berlin (1979). Birkhäuser Verlag Basel. Math. Reihe 67, (1979)
Pöschel, R., Radeleczki, S.: Endomorphisms of quasiorders and related lattices. In: Dorfer, G., Eigenthaler, G., Kautschitsch, H., More, W., Müller, W. (eds.) Contributions to General Algebra 18 (Proceedings of the Klagenfurt Conference 2007 (AAA73+CYA22), Febr. 2007), pp. 113–128. Verlag Heyn GmbH and Co KG (2008)
Radeleczki, S., Schweigert, D.: Notes on locally order-polynomially complete lattices. Algebra Universalis 53, 397–399 (2005)
Werner, H.: Which partition lattices are congruence lattices? In: Lattice theory (Proc. Colloq., Szeged, 1974), Colloq. Math. Soc. János Bolyai, vol. 14, pp. 433–453. North-Holland, Amsterdam (1976)
Zádori, L.: Generation of finite partition lattices. In: Lectures in universal algebra (Szeged, 1983), Colloq. Math. Soc. János Bolyai, vol. 43, pp. 573–586. North-Holland, Amsterdam (1986)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by G. Czedli.
Dedicated to E. Tamás Schmidt.
This article is part of the topical collection “In memory of E. T. Schmidt” edited by Robert W. Quackenbush.
The research of Danica Jakubíková-Studenovská was partially supported by Slovak VEGA Grant 1/0063/14. The research of Sándor Radeleczki started as part of the TAMOP-4.2.1.B-10/2/KONV-2010-0001 project, supported by the European Union, co-financed by the European Social Fund 113/173/0-2.
Rights and permissions
About this article
Cite this article
Jakubíková-Studenovská, D., Pöschel, R. & Radeleczki, S. The lattice of congruence lattices of algebras on a finite set. Algebra Univers. 79, 4 (2018). https://doi.org/10.1007/s00012-018-0486-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0486-z
Keywords
- Congruence lattice
- Unary operation
- Monounary algebra
- Join-irreducible element
- Meet-irreducible element
- Tolerance simple