Abstract
The system of all congruences of an algebra (A, F) forms a lattice, denoted \({{\mathrm{Con}}}(A, F)\). Further, the system of all congruence lattices of all algebras with the base set A forms a lattice \(\mathcal {E}_A\). We deal with meet-irreducibility in \(\mathcal {E}_A\) for a given finite set A. All meet-irreducible elements of \(\mathcal {E}_A\) are congruence lattices of monounary algebras. Some types of meet-irreducible congruence lattices were described in Jakubíková-Studenovská et al. (2017). In this paper, we prove necessary and sufficient conditions under which \({{\mathrm{Con}}}(A, f)\) is meet-irreducible in the case when (A, f) is an algebra with short tails (i.e., f(x) is cyclic for each \(x \in A\)) and in the case when (A, f) is an algebra with small cycles (every cycle contains at most two elements).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Cégielski, P., Grigorieff, S., Guessarian, I.: Congruence preserving functions on free monoids. Algebra Universalis 78, 389–406 (2017)
Czédli, G.: Complete congruence lattices of two related modular lattices. Algebra Universalis 78, 251–289 (2017)
Grätzer, G., Schmidt, E.T.: Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) 24, 34–59 (1963)
Hyndman, J., Nation, J.B., Nishida, J.: Congruence lattices of semilattices with operators. Stud. Log. 104, 305–316 (2016)
Jakubíková-Studenovská, D.: On congruence relations of monounary algebras II. Czechoslov. Math. J. 33, 448–466 (1983)
Jakubíková-Studenovská, D., Pöschel, R., Radeleczki, S.: The lattice of congruence lattices of algebra on a finite set. Algebra Universalis (to appear). arXiv:1612.07648 [math.GM]. Accessed 20 April 2017
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 quasiorder lattices of algebras on a finite set. Algebra Universalis 75, 197–220 (2016)
Roman, S.: Lattices and Ordered Sets. Springer, New York (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by R. Pöschel.
This work was supported by Grant VEGA 1/0097/18.