One hundred twenty-seven subsemilattices and planarity (Q2006982)

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.