2022/05/22 by George Grätzer, Grätzer, George
Computer Science · #Advanced Algebra and Logic
paper · pdf · doi:10.48550/arxiv.2205.10922
In a 2121 paper with Gábor Czédli, we introduced and verified the Three-pendant Three-crown Property, 3P3C, for congruence lattices of slim, planar, semimodular lattices. The proof is very long; in part, because it relies on Czédli's 2021 paper on lamps. This paper verifies 3P3C using the Swing Lemma, an elementary and short approach.