The Belluce-lattice associated with a bounded Hilbert algebra (Q521730)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Belluce-lattice associated with a bounded Hilbert algebra |
scientific article |
Statements
The Belluce-lattice associated with a bounded Hilbert algebra (English)
0 references
12 April 2017
0 references
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.
0 references
Belluce lattice
0 references
distributive lattice
0 references
Hilbert algebra
0 references
maximal spectrum
0 references
prime spectrum
0 references
reticulation
0 references