Using the Swing Lemma and C1-diagrams for congruences of planar semimodular lattices

From MaRDI portal
Publication:6173199




Abstract: A planar semimodular lattice K is emph{slim} if mathsfM3 is not a sublattice of~K. In a recent paper, G. Cz'edli found four new properties of congruence lattices of slim, planar, semimodular lattices, including the emph{No Child Property}: emph{Let~mathcalP be the ordered set of join-irreducible congruences of K. Let x,y,zinmathcalP and let z be a~maximal element of mathcalP. If xeqy and x,yprecz in mathcalP, then there is no element u of mathcalP such that uprecx,y in mathcalP.} We are applying my Swing Lemma, 2015, and a type of standardized diagrams of Cz'edli's, to verify his four properties.









This page was built for publication: Using the Swing Lemma and C1-diagrams for congruences of planar semimodular lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6173199)