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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references