The Frattini sublattice of a finite distributive lattice (Q1338948)

The Frattini Algebra \(\Phi(A)\) of an algebra \(A\) is the intersection of all maximal subalgebras of \(A\). A distributive lattice \(L\) is called finitely representable iff \(L\) is isomorphic to \(\Phi(K)\) for some finite distributive lattice \(K\). There is a duality between the category of such \(K\) with 0, 1, and finite posets \(P\) where \(P\) consists of prime ideals of \(K\), ordered by inclusion. A characterization of such associated finitely representable \(P\) is given through a technical condition, called a finite horizontally contracted poset \(Q\), where \(P\) is isomorphic to \(Q\). \(Q\) is called horizontally contracted if the following relation \(\sim\) on \(Q\) is the identity: for \(p,q\in Q\), \(p\sim q\) holds iff (\(p= q\) or \((p,q)\lvdash (M)\) or \((q,p)\lvdash M\)). The condition \((p,q)\lvdash M\) means \(p\geq q\), \(x> p\) implies \(x\geq q\), and \(x< q\) implies \(x\leq p\) for all \(x\in Q\). Several applications of this theorem are given.