Swing lattice game and a short proof of the swing lemma for planar semimodular lattices
英文摘要：
The swing lemma, due to G. Grätzer for slim semimodular lattices and extended by G. Czédli and G. Grätzer for all planar semimodular lattices, describes the congruence generated by a prime interval in an efficient way. Here we present a new proof for this lemma, which is shorter than the earlier two. Also, motivated by the swing lemma and mechanical pinball games with flippers, we construct an online game called Swing lattice game. A computer program realizing this game is available from the authors' websites.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
