scholarly journals Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1

10.29007/7htj ◽  
2018 ◽  
Author(s):  
Vincenzo Marra ◽  
Daniel McNeill ◽  
Andrea Pedrini
Keyword(s):  
Distributive Lattice ◽  
Vector Lattice ◽  
Abelian Groups ◽  
Heyting Algebra ◽  
Prime Ideals ◽  
Spectral Space ◽  
Stone Duality ◽  
Boolean Space ◽  
Finitely Presented ◽  
Mv Algebras

This is the first part of a series of two abstract, the second one being by Daniel McNeill.If X is any topological space, its collection of opens sets O(X) is a complete distributive lattice and also a Heyting algebra. When X is equipped with a distinguished basis D(X) for its topology, closed under finite meets and joins, one can investigate situations where D(X) is also a Heyting subalgebra of O(X).Recall that X is a spectral space if it is compact and T0, its collection D(X) of compact open subsets forms a basis which is closed under finite intersections and unions, and X is sober. By Stone duality, spectral spaces are precisely the spaces arising as sets of prime ideals of some distributive lattice, topologised with the Stone or hull-kernel topology. Specifically, given such a spectral space X, its collection of compact open sets D(X) is (naturally isomorphic to) the distributive lattice dual to X under Stone duality.We are going to exhibit a significant class of such spaces for which D(X) is a Heyting subalgebra of O(X).We work with lattice-ordered Abelian groups and vector spaces. Using Mundici’s Gamma-functor the results can be rephrased in terms of MV-algebras, the algebraic semantics of Lukasiewicz infinite-valued propositional logic.Let (G,u) be a finitely presented vector lattice (or Q-vector lattice, or l-group) G equipped with a distinguished strong order unit u. It turns out that Spec(G,u), i.e. the the space of prime ideals of (G,u) topologised with the hull-kernel topology, is a compact spectral space. Our first main result states that the collection D(Spec(G,u)) of compact open subsets of Spec(G,u) is a Heyting subalgebra of the Heyting algebra of open subsets O(Spec(G,u)).As a consequence, we also prove that the subspace Min(G,u) of minimal prime ideals of G is a Boolean space, i.e. a compact Hausdorff space whose clopen sets form a basis for the topology.Further, for any fixed maximal ideal m of G, the set l(m) of prime ideals of G contained in m, equipped with the subspace topology, is a spectral space, and the subspace Min(l(m)) of l(m) is a Boolean space.

scholarly journals Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2

10.29007/bt3m ◽  
2018 ◽  
Author(s):  
Vincenzo Marra ◽  
Daniel Mcneill ◽  
Andrea Pedrini
Keyword(s):  
Abelian Group ◽  
Vector Lattice ◽  
Abelian Groups ◽  
Stone Duality ◽  
Vector Lattices ◽  
Spectral Spaces ◽  
The Absolute ◽  
Q Vector ◽  
Finitely Presented ◽  
Mv Algebras

This is the second part of a series of two abstracts, the first being by Andrea Pedrini. For background and notation on lattice-ordered Abelian groups, vector lattices and Q-vector lattices, and their spectral spaces, please see her submission.We consider the tools of Stone duality and the absolute applied to lattice-ordered Abelian groups, vector lattices and Q-vector lattices. Given a lattice-ordered Abelian group or Q-vector lattice, G, this leads to an interesting parallel between Min(G) and the absolute of Max(G).

scholarly journals Representation of certain classes of distributive lattices by sections of sheaves

1980 ◽  
Vol 3 (3) ◽  
pp. 461-476
Author(s):  
U. Maddana Swamy ◽  
P. Manikyamba
Keyword(s):  
Distributive Lattice ◽  
Main Tool ◽  
Distributive Lattices ◽  
Prime Ideals ◽  
Post Algebra ◽  
Boolean Space ◽  
Bounded Distributive Lattice ◽  
Maximal Chains

Epstein and Horn ([6]) proved that a Post algebra is always aP-algebra and in aP-algebra, prime ideals lie in disjoint maximal chains. In this paper it is shown that aP-algebraLis a Post algebra of ordern≥2, if the prime ideals ofLlie in disjoint maximal chains each withn−1elements. The main tool used in this paper is that every bounded distributive lattice is isomorphic with the lattice of all global sections of a sheaf of bounded distributive lattices over a Boolean space. Also some properties ofP-algebras are characterized in terms of the stalks.

scholarly journals CHOICE-FREE STONE DUALITY

2019 ◽  
Vol 85 (1) ◽  
pp. 109-148
Author(s):  
NICK BEZHANISHVILI ◽  
WESLEY H. HOLLIDAY
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Stone Space ◽  
Spectral Space ◽  
Topological Representation ◽  
Stone Duality ◽  
Closed Sets ◽  
Spectral Spaces ◽  
Basic Facts ◽  
Regular Open

AbstractThe standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras.

scholarly journals When do L-fuzzy ideals of a ring generate a distributive lattice?

2016 ◽  
Vol 14 (1) ◽  
pp. 531-542
Author(s):  
Ninghua Gao ◽  
Qingguo Li ◽  
Zhaowen Li
Keyword(s):  
Distributive Lattice ◽  
Heyting Algebra ◽  
Lattice Structures ◽  
Boolean Ring ◽  
Fuzzy Subset ◽  
The Family ◽  
Essential Properties ◽  
Fuzzy Ideal

AbstractThe notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals. By defining an operator “⇝” between two arbitrary L-fuzzy ideals in terms of L-fuzzy extended ideals, the result that “the family of all L-fuzzy ideals in a Boolean ring is a complete Heyting algebra” is immediately obtained. Furthermore, the lattice structures of L-fuzzy extended ideals of an L-fuzzy ideal, L-fuzzy extended ideals relative to an L-fuzzy subset, L-fuzzy stable ideals relative to an L-fuzzy subset and their connections are studied in this paper.

Effect-like algebras induced by means of basic algebras

2010 ◽  
Vol 60 (1) ◽  
Author(s):  
Ivan Chajda
Keyword(s):  
Distributive Lattice ◽  
Effect Algebra ◽  
Binary Operation ◽  
Basic Algebra ◽  
Natural Question ◽  
Lattice Effect Algebra ◽  
Mv Algebra ◽  
Lattice Effect ◽  
Mv Algebras

AbstractHaving an MV-algebra, we can restrict its binary operation addition only to the pairs of orthogonal elements. The resulting structure is known as an effect algebra, precisely distributive lattice effect algebra. Basic algebras were introduced as a generalization of MV-algebras. Hence, there is a natural question what an effect-like algebra can be reached by the above mentioned construction if an MV-algebra is replaced by a basic algebra. This is answered in the paper and properties of these effect-like algebras are studied.

On the Partially Ordered Set of Prime Ideals of a Distributive Lattice

1971 ◽  
Vol 23 (5) ◽  
pp. 866-874 ◽  
Author(s):  
Raymond Balbes
Keyword(s):  
Distributive Lattice ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Complete Characterization ◽  
Distributive Lattices ◽  
Prime Ideals ◽  
Partially Ordered ◽  
Irreducible Elements

For a distributive lattice L, let denote the poset of all prime ideals of L together with ∅ and L. This paper is concerned with the following type of problem. Given a class of distributive lattices, characterize all posets P for which for some . Such a poset P will be called representable over. For example, if is the class of all relatively complemented distributive lattices, then P is representable over if and only if P is a totally unordered poset with 0, 1 adjoined. One of our main results is a complete characterization of those posets P which are representable over the class of distributive lattices which are generated by their meet irreducible elements. The problem of determining which posets P are representable over the class of all distributive lattices appears to be very difficult.

scholarly journals Some remarks on divisible polyhedral MV-algebras

2020 ◽  
Vol 70 (1) ◽  
pp. 51-60
Author(s):  
Serafina Lapenta
Keyword(s):  
Amalgamation Property ◽  
Finite Products ◽  
Finitely Presented ◽  
Mv Algebras

AbstractBuilding on similar notions for MV-algebras, polyhedral DMV-algebras are defined and investigated. For such algebras dualities with suitable categories of polyhedra are established, and the relation with finitely presented Riesz MV-algebras is investigated. Via hull-functors, finite products are interpreted in terms of hom-functors, and categories of polyhedral MV-algebras, polyhedral DMV-algebras and finitely presented Riesz MV-algebras are linked together. Moreover, the amalgamation property is proved for finitely presented DMV-algebras and Riesz MV-algebras, and for polyhedral DMV-algebras.

The poset of prime ideals of a distributive lattice

1975 ◽  
Vol 5 (1) ◽  
pp. 141-142 ◽  
Author(s):  
M. E. Adams
Keyword(s):  
Distributive Lattice ◽  
Prime Ideals

A localic approach to minimal prime spectra

1988 ◽  
Vol 103 (1) ◽  
pp. 47-53 ◽  
Author(s):  
Sun Shu-Hao
Keyword(s):  
Distributive Lattice ◽  
Prime Ideals ◽  
Zariski Topology ◽  
Topological Properties ◽  
Prime Spectrum ◽  
Minimal Prime

Throughout this paper, A will denote a distributive lattice with 0 and 1; we shall write spec A for the prime spectrum of A (i.e. the set of prime ideals of A, with the Stone–Zariski topology), and max A, min A for the subspaces of spec A consisting of maximal and minimal prime ideals respectively. These two subspaces have rather different topological properties: max A is always compact, but not always Hausdorff (indeed, any compact T1-space can occur as max A for some A), and min A is always Hausdorff (in fact zero-dimensional), but not always compact. (For more information on max A and min A, see Simmons[3].)

Sign in / Sign up

Export Citation Format

Share Document