Swing Lattice Game and a direct proof of the Swing Lemma for planar semimodular lattices
Tóm tắt
The Swing Lemma, due to G. Grätzer for slim semimodular lattices and extended by G. Czédli, G. Grätzer, and H. Lakser for all planar semimodular lattices, describes the congruence generated by a prime interval in an efficient way. Here we present a new, direct proof of this lemma, which is shorter than the earlier ones. Also, motivated by the Swing Lemma and mechanical pinball games with flippers, we construct an online game called Swing Lattice Game.
Tài liệu tham khảo
B. Csákány and R. Juhász, The solitaire army reinspected, Math. Mag., 73 (2000), 354–362.
B. Csákány, Discrete Mathematical Games; 2nd ed., Polygon, Szeged, 2005 (in Hungarian).
G. Czédli, Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices, Algebra Universalis, 67 (2012), 313–345.
G. Czédli, Coordinatization of join-distributive lattices, Algebra Universalis, 71 (2014), 385–404.
G. Czédli, Patch extensions and trajectory colorings of slim rectangular lattices, Algebra Universalis, 72 (2014), 125–154.
G. Czédli, Diagrams and rectangular extensions of planar semimodular lattices, Algebra Universalis (2017), doi: 10.1007/s00012-017-0437-0.
G. Czédli and G. Grätzer, Planar semimodular lattices and their diagrams, Lattice Theory: Special Topics and Applications; Chapter 3; eds.: G. Grätzer, F. Wehrung, Birkhäuser Verlag, Basel, 2014.
G. Czédli, G. Grätzer and H. Lakser, Congruence structure of planar semimodular lattices: the General Swing Lemma, Algebra Universalis, to appear.
G. Czédli and E. T. Schmidt, How to derive finite semimodular lattices from distributive lattices?, Acta Math. Hungar., 121 (2008), 277–282.
G. Czédli and E. T. Schmidt, The Jordan–Hölder theorem with uniqueness for groups and semimodular lattices, Algebra Universalis, 66 (2011), 69–79.
G. Czédli and E. T. Schmidt, Slim semimodular lattices. I. A visual approach, Order, 29 (2012), 481–497.
G. Czédli and E. T. Schmidt, Slim semimodular lattices. II. A description by patchwork systems, Order, 30 (2013), 689–721.
G. Czédli and E. T. Schmidt, Composition series in groups and the structure of slim semimodular lattices, Acta Sci Math. (Szeged), 79 (2013), 369–390.
G. Grätzer, Lattice Theory: Foundation, Birkhäuser, Basel, 2011.
G. Grätzer, Congruences in slim, planar, semimodular lattices: The Swing Lemma, Acta Sci. Math. (Szeged), 81 (2015), 381–397.
G. Grätzer, The congruences of a finite lattice. A “proof-by-picture” approach. Second edition, Birkhäuser/Springer, Cham, 2016.
G. Grätzer and E. Knapp, Notes on planar semimodular lattices. I. Construction, Acta Sci. Math. (Szeged), 73 (2007), 445–462.
G. Grätzer and E. Knapp, Notes on planar semimodular lattices. III. Congruences of rectangular lattices, Acta Sci. Math. (Szeged), 75 (2009), 29–48.
G. Grätzer and J. B. Nation, A new look at the Jordan-Hölder theorem for semimodular lattices, Algebra Universalis, 64 (2010), 309–311.
D. Kelly and I. Rival, Planar lattices, Canad. J. Math., 27 (1975), 636–665.