Abstract
Slim semimodular lattices (for short, SPS lattices) and slim rectangular lattices (for short, SR lattices) were introduced by Grätzer and Knapp (Acta Sci Math (Szeged) 73:445–462, 2007; 75:29–48, 2009). These lattices are necessarily finite and planar, and they have been studied in more then four dozen papers since 2007. They are best understood with the help of their \({\mathcal {C}}_1\)-diagrams, introduced by the author in 2017. For a diagram F of a finite lattice L and a congruence \(\alpha \) of L, we define the “quotient diagram” \(F/\alpha \) by taking the maximal elements of the \(\alpha \)-blocks and preserving their geometric positions. While \(F/\alpha \) is not even a Hasse diagram in general, we prove that whenever L is an SR lattice and F is a \({\mathcal {C}}_1\)-diagram of L, then \(F/\alpha \) is a \({\mathcal {C}}_1\)-diagram of \(L/\alpha \), which is an SR lattice or a chain. The class of lattices isomorphic to the congruence lattices of SPS lattices is closed under taking filters. We prove that this class is closed under two more constructions, which are inverses of taking filters in some sense; one of the two respective proofs relies on an inverse of the quotient diagram construction.
Similar content being viewed by others
Data availibility
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Burris, S., Sankappanavar, H.P.: A course in universal algebra. Graduate Texts in Mathematics, vol. 78, Springer, New York (1981), 2012 update of the Millennium Edition. ISBN: 0-387-90578-2
Czédli, G.: Patch extensions and trajectory colorings of slim rectangular lattices. Algebra Universalis 72, 125–154 (2014)
Czédli, G.: A note on congruence lattices of slim semimodular lattices. Algebra Universalis 72(3), 225–230 (2014)
Czédli, G.: Diagrams and rectangular extensions of planar semimodular lattices. Algebra Universalis 77, 443–498 (2017)
Czédli, G.: Lamps in slim rectangular planar semimodular lattices. Acta Sci. Math. (Szeged) 87, 381–413 (2021)
Czédli, G.: Infinitely many new properties of the congruence lattices of slim semimodular lattices. Acta. Sci. Math. (2023). https://doi.org/10.1007/s44146-023-00069-8 89, 319–337 (2023)
Czédli, G.: A property of meets in slim semimodular lattices and its application to retracts. Acta Sci. Math. (Szeged) 88, 595–610 (2022)
Czédli, G.: Slim patch lattices as absolute retracts and maximal lattices. arXiv:2105.12868
Czédli, G.: Reducing the lengths of slim planar semimodular lattices without changing their congruence lattices. arXiv:2301.00401, Math. Bohemica, to appear
Czédli, G., Grätzer, G.: A new property of congruence lattices of slim, planar, semimodular lattices. Categ. Gener. Algebraic Struct. Appl. 16, 1–28 (2022)
Czédli, G., Grätzer, G., Lakser, H.: Congruence structure of planar semimodular lattices: the general swing lemma. Algebra Universalis 79, 40 (2018)
Czédli, G., Kurusa, Á.: A convex combinatorial property of compact sets in the plane and its roots in lattice theory. Categ. Gener. Algebraic Struct. Appl. 11, 57–92 (2019)
Czédli, G., Makay, G.: Swing lattice game and a direct proof of the swing lemma for planar semimodular lattices. Acta Sci. Math. (Szeged) 83, 13–29 (2017)
Czédli, G., Schmidt, E.T.: How to derive finite semimodular lattices from distributive lattices? Acta Math. Hungar. 121, 277–282 (2008)
Czédli, G., Schmidt, E.T.: The Jordan-Hölder theorem with uniqueness for groups and semimodular lattices. Algebra Universalis 66, 69–79 (2011)
Czédli, G., Schmidt, E.T.: Slim semimodular lattices. I. A visual approach. Order 29, 481–497 (2012)
Czédli, G., Schmidt, E.T.: Slim semimodular lattices. II. A description by patchwork systems. Order 30, 689–721 (2013)
Grätzer, G.: Lattice Theory: Foundation. Birkhäuser, Basel (2011)
Grätzer, G.: Congruences in slim, planar, semimodular lattices: the Swing Lemma. Acta Sci. Math. (Szeged) 81, 381–397 (2015)
Grätzer, G.: The Congruences of a Finite Lattice, A Proof-by-Picture Approach, 2nd edn. Birkhäuser (2016). xxxii+347. Part I is accessible at https://www.researchgate.net/publication/299594715
Grätzer, G.: Congruences of fork extensions of slim, planar, semimodular lattices. Algebra Universalis 76, 139–154 (2016)
Grätzer, G.: Notes on planar semimodular lattices. VIII. Congruence lattices of SPS lattices. Algebra Universalis 81, Paper No. 15 (2020)
Grätzer, G., Knapp, E.: Notes on planar semimodular lattices. I. Construction. Acta Sci. Math. (Szeged) 73, 445–462 (2007)
Grätzer, G., Knapp, E.: Notes on planar semimodular lattices. III. Rectangular lattices. Acta Sci. Math. (Szeged) 75, 29–48 (2009)
Hölder, O.: Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen. Math. Ann. 34, 26–56 (1889)
Jordan, C.: Traité des substitutions et des équations algebraique. Gauthier-Villars (1870)
Kelly, D., Rival, I.: Planar lattices. Can. J. Math. 27, 636–665 (1975)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Not applicable as there are no interests to report.
Additional information
Dedicated to my grandchildren, Péter, Adélia, Valentina Blanka, Liliána, and Bernát Vince.
This research was supported by the National Research, Development and Innovation Fund of Hungary, under funding scheme K 134851.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Czédli, G. \({\mathcal {C}}_1\)-diagrams of slim rectangular semimodular lattices permit quotient diagrams. Acta Sci. Math. (Szeged) 90, 1–40 (2024). https://doi.org/10.1007/s44146-023-00101-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44146-023-00101-x
Keywords
- Slim rectangular lattice
- \({\mathcal {C}}_1\)-diagram
- Quotient diagram
- Slim semimodular lattice
- Planar semimodular lattice
- Multifork
- Thrusting multiforks
- Congruence lattice
- Join-irreducible element
- Lamp
- Order filter
- Dioecious Maximal Elements Property