The Belluce-lattice associated with a bounded Hilbert algebra (Q521730)

Let \(A\) be a bounded Hilbert algebra, and let \(^*\) be the operation on \(A\) characterized by \(x^* = x \to 0\). It allows to introduce a lattice-like structure on \(A\) by setting \(x \curlyvee y := x^* \to y\), \(x \curlywedge y := (x \to y^*)^*\). The authors study the prime spectrum \(\mathrm{Spec}(A)\) and the maximal spectrum \(\mathrm{Max}(A)\) as topological spaces with a Zariski topology; in particular, \(\mathrm{Max}(A)\) is shown to be compact and Hausdorff. Further, let \(\equiv\) be a relation on \(A\) such that \(a \equiv b\) iff for every maximal filter \(M\) of \(A\) either \(a,b \in M\) or \(a,b \notin M\). It is a congruence with respect to \(\curlyvee\) and \(\curlywedge\), and the quotient algebra \(L_A := A{/\equiv}\) is a bounded distributive lattice, called the Belluce lattice associated with \(A\). It is even normal (every prime filter is included in a unique maximal filter) if the Hilbert algebra has a similar property. The space of maximal filters of \(L_A\) is proved to be homeomorphic to \(\mathrm{Max}(A)\). This motivates the authors to consider an abstract notion of reticulation for bounded Hilbert algebras; such a notion has already been studied for MV- and BL-algebras and residuated lattices.