Reducing the lengths of slim planar semimodular lattices without changing their congruence lattices
Gábor Czédli · arXiv (Cornell University) · 2023
Following G. Grätzer and E. Knapp (2007), a slim semimodular lattice, SPS lattice for short, is a finite planar semimodular lattice having no $M_3$ as a sublattice. An SPS lattice is a slim rectangular lattice if it has exactly two doubly irreducible elements and these two elements are complements of each other. A finite poset $P$ is said to be JConSPS-representable if there is an SPS lattice $L$ such that $P$ is isomorphic to the poset J(Con $L$) of join-irreducible congruences of $L$. We prove that if $1