Abstract
In an earlier article, the authors found sufficient conditions for complexity of the lattice of subquasivarieties of a quasivariety. In the present article, we prove that these conditions allow us to represent finite lattices as relative congruence lattices and relative variety lattices in a uniform way. Some applications are presented.
Similar content being viewed by others
References
Adams, M.E., Dziobiak, W.: \(Q\)-universal quasivarieties of algebras. Proc. Am. Math. Soc. 120, 1053–1059 (1994)
Berman, J.: Congruence Lattices of Finite Universal Algebras. Ph.D. Thesis, University of Washington (1970). http://db.tt/mXUVTzSr
Dziobiak, W.: Selected topics in quasivarieties of algebraic systems (1997, unpublished manuscript)
Freese, R.: Projective geometries as projective modular lattices. Trans. Am. Math. Soc. 251, 329–342 (1979)
Freese, R., Lampe, W.A., Taylor, W.: Congruence lattices of algebras of fixed similarity type. I. Pac. J. Math. 82, 59–68 (1979)
Freese, R., Nation, J.B.: Congruence lattices of semilattices. Pac. J. Math. 49, 51–58 (1973)
Gorbunov, V.A.: Algebraic Theory of Quasivarieties Nauchnaya Kniga, Novosibirsk (1999) (Russian). Plenum, New York (1998) (English translation)
Grätzer, G.: General Lattice Theory, 2nd edn. Birkhäuser Verlag, Basel (1998)
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.: The Lattice of Subquasivarieties of a Locally Finite Quasivariety. Books in Mathematics. Canadian Mathematical Society, Ottawa (2018)
Hyndman, J., Nation, J.B., Nishida, J.: Congruence lattices of semilattices with operators. Stud. Log. 104, 305–316 (2016)
Kravchenko, A.V., Nurakunov, A.M., Schwidefsky, M.V.: On the structure of quasivariety lattices I. Independent axiomatizability. Algebra Log. 57, 640–667 (2018)
Kravchenko, A.V., Nurakunov, A.M., Schwidefsky, M.V.: On the structure of quasivariety lattices. II. Undecidable problems. Algebra Log. (Accepted)
Lampe, W.A.: On the congruence lattice characterization theorem. Trans. Am. Math. Soc. 182, 43–60 (1973)
Lampe, W.A.: Congruence lattices of algebras of fixed similarity type II. Pac. J. Math. 103, 475–508 (1982)
Lampe, W.A.: A property of the lattice of equational theories. Algebra Univ. 23, 61–69 (1986)
Lampe, W.A.: A perspective on algebraic representations of lattices. Algebra Univ. 31, 337–364 (1994)
Lampe, W.A.: Results and problems on congruence lattice representations. Algebra Univ. 55, 127–135 (2006)
Lucchini, A.: Representation of certain lattices as intervals in subgroup lattices. J. Algebra 164, 85–90 (1994)
Malcev, A.I.: Algebraic Systems. Nauka, Moscow (1970) (Russian). English translation: Die Grundlehren der mathematischen Wissenschaften, Band 192. Springer, New York (1973)
McKenzie, R.N.: Finite forbidden lattices. In: Freese, R.S., Garcia, O.C. (eds.) Universal algebra and lattice theory. Lecture Notes in Mathematics, vol. 1004, pp. 176–205. Springer, Berlin (1983)
McNulty, G.F.: A juggler’s dozen of easy problems. Algebra Univ. 74, 17–34 (2015)
Nation, J.B.: Lattices of theories in languages without equality. Notre Dame J. Form. Log. 54, 167–175 (2013)
Nurakunov, A.M.: Finite lattices as lattices of relative congruences of finite unars and Abelian groups. Algebra Log. 40, 166–169 (2001)
Nurakunov, A.M.: Finite lattices as relative congruence lattices of finite algebras. Algebra Univ. 57, 207–214 (2007)
Nurakunov, A.M.: Quasivariety lattices of pointed Abelian groups. Algebra Log. 53, 238–257 (2014)
Pálfy, P.P., Pudlák, P.: Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups. Algebra Univ. 11, 22–27 (1980)
Schwidefsky, M.V., Zamojska-Dzienio, A.: Lattices of subclasses. Sib. Math. J. 53, 889–905 (2012)
Schwidefsky, M.V., Zamojska-Dzienio, A.: Lattices of subclasses II. Int. J. Algebra Comput. 24, 1099–1126 (2014)
Acknowledgements
We thank the referee for having thoroughly read the paper, for his comments and suggestions which helped to improve our paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Ralph Freese, Bill Lampe, and J. B. Nation on occasion of their 70th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Algebras and Lattices in Hawaii” edited by W. DeMeo.
Rights and permissions
About this article
Cite this article
Kravchenko, A.V., Nurakunov, A.M. & Schwidefsky, M.V. On representation of finite lattices. Algebra Univers. 80, 15 (2019). https://doi.org/10.1007/s00012-019-0588-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-019-0588-2