One hundred twenty-seven subsemilattices and planarity

From MaRDI portal
Publication:2006982



Abstract: Let L be a finite n-element semilattice. We prove that if L has at least 127cdot2n−8 subsemilattices, then L is planar. For n>8, this result is sharp since there is a non-planar semilattice with exactly 127cdot2n−8−1 subsemilattices.


A semilattice is called planar if it has a Hasse diagram that is a planar representation of a graph. Every semilattice with at most 7 elements is planar. Every 8-element semilattice with at least 121 subsemilattices is planar. The author proves that finite semilattices with many subsemilattices are planar. The main resultis: Theorem. Let \(L\) be a semilattice having \(n\) elements. If \(L\) has at least \(127\cdot 2^{n-8}\) subsemilattices then it is planar. Moreover, for \(n\) greater than 8 this result is sharp because there is a non-planar semilattice with exactly \(127\cdot 2^{n-8} - 1\) subsemilattices.











This page was built for publication: One hundred twenty-seven subsemilattices and planarity

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