Abstract
Some elements of tame congruence theory can be applied to quasiorder lattices instead of congruence lattices. In particular, it is possible to consider minimal sets of an algebra with respect to one of its prime quasiorder quotients. It turns out that if a finite algebra is in a congruence modular variety, then it is minimal with respect to a quasiorder quotient iff it is minimal with respect to a congruence quotient — in which case it is either a two-element algebra, or has a Mal’tsev-polynomial. As an application of this fact, we prove that if an algebra is in a congruence modular variety, its congruence and quasiorder lattices satisfy the same identities.
Similar content being viewed by others
References
G. CZÉDLI, E. K. HORVÁTH and P. LIPPARINI, Optimal Mal’tsev conditions for congruence modular varieties, Algebra Universalis, 53 (2005) 267–279.
G. CZÉDLI and L. SZABÓ, Quasiorders of lattices versus pairs of congruences, Acta Sci. Math. (Szeged), 60 (1995) 207–211.
H.-P. GUMM, Congruence modularity is permutability composed with distributivity, Archiv der Math., 36 (1981) 569–576.
G. GYENIZSE and M. MARÓTI, Quasiorder lattices of varieties, Algebra Universalis, to appear.
D. HOBBY and R. MCKENZIE, The Structure of Finite Algebras, Memoirs of the American Mathematical Society, No. 76, American Mathematical Society, Providence, RI, 1988.
B. JÓNSSON, Congruence varieties, Algebra Universalis, 10 (1980) 355–394.
A. KAZDA, M. KOZIK, R. MCKenzie and M. MOORE, Absorption and directed Jónsson terms, Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Outstanding Contributions to Logic vol 16., Springer, Cham, 2018, 203–220.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Zádori
The author’s research was partially supported by the Hungarian National Foundation for Scientific Research (OTKA) grant no. K115518.
Rights and permissions
About this article
Cite this article
Gyenizse, G. Quasiorder lattices in congruence modular varieties. ActaSci.Math. 86, 3–10 (2020). https://doi.org/10.14232/actasm-018-024-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.14232/actasm-018-024-4