Using the Swing Lemma and Cz\'edli diagrams for congruences of planar semimodular lattices

arXiv2104.13444MaRDI QIDQ6366291FDOQ6366291

G. Grätzer

Publication date: 27 April 2021

Abstract: A planar semimodular lattice $K$ is emph{slim} if $mathsf{M}_3$ 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~$P$ be the ordered set of join-irreducible congruences of $K$. Let $x,y,zinP$ and let $z$ be a~maximal element of $P$. If $xeqy$, $x,yprecz$ in $P$, then there is no element $u$ of $P$ such that $uprecx,y$ in $P$.} We are applying my Swing Lemma, 2015, and a type of standardized diagrams of Cz'edli's, to verify Cz'edli's four properties.

Mathematics Subject Classification ID

Semimodular lattices, geometric lattices (06C10)

This page was built for publication: Using the Swing Lemma and Cz\'edli 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 Q6366291)