Spectral spaces of countable abelian lattice-ordered groups

DOI10.1090/TRAN/7596zbMATH Open1472.06024arXiv1701.03494OpenAlexW2963796483WikidataQ129889263 ScholiaQ129889263MaRDI QIDQ4644964FDOQ4644964

Authors: Friedrich Wehrung 

Publication date: 9 January 2019

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections. Theorem. A topological space X is homeomorphic to the spectrum of some countable Abelian {ell}-group with unit (resp., MV-algebra) iff X is spectral, has a countable basis of open sets, and for any points x and y in the closure of a singleton {z}, either x is in the closure of {y} or y is in the closure of {x}. We establish this result by proving that a countable distributive lattice D with zero is isomorphic to the lattice of all principal ideals of an Abelian {ell}-group (we say that D is {ell}-representable) iff for all a, b $in$ D there are x, y $in$ D such that a $lor$ b = a $lor$ y = b $lor$ x and x $land$ y = 0. On the other hand, we construct a non-{ell}-representable bounded distributive lattice, of cardinality $aleph$ 1 , with an {ell}-representable countable L$infty,omega$-elementary sublattice. In particular, there is no characterization, of the class of all {ell}-representable distributive lattices, in arbitrary cardinality, by any class of L$infty,omega$ sentences.

Full work available at URL: https://arxiv.org/abs/1701.03494

Recommendations

• Prime spectra of lattice-ordered abelian groups
• scientific article; zbMATH DE number 1431604
• Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• Cevian properties in ideal lattices of abelian \(\ell\)-groups

zbMATH Keywords

spectrumabelian groupprime idealhyperplanedistributive latticelattice-ordered groupspectral spaceHeyting algebraclosed mapsober spaceconsonancecompletely normal spaceopen half-spacedifference operationcountable spacejoin-irreducible latticerepresentable lattice

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) MV-algebras (06D35) Convex sets in topological linear spaces; Choquet theory (46A55) Structure and representation theory of distributive lattices (06D05) Convex sets without dimension restrictions (aspects of convex geometry) (52A05) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Cites Work

• Title not available (Why is that?)
• Groupes et anneaux reticules
• Prime spectra of lattice-ordered abelian groups
• The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit
• Lattice Theory: Foundation
• La topologie du spectre réel
• Title not available (Why is that?)
• Topological representations of distributive lattices and Brouwerian logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Advanced Łukasiewicz calculus and MV-algebras
• Title not available (Why is that?)
• The dimension monoid of a lattice
• Free Vector Lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representations of distributive semilattices in ideal lattices of various algebraic structures.
• Distributive congruence lattices of congruence-permutable algebras
• A completely normal spectral space that is not a real spectrum
• Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \)
• Title not available (Why is that?)
• Lattice-ordered groups whose lattices of convex l-subgroups guarantee noncommutativity
• Title not available (Why is that?)
• Admissible Sets and Structures
• Title not available (Why is that?)
• Conrad frames
• A characterisation of lattice-ordered Abelian groups
• Semilattices of finitely generated ideals of exchange rings with finite stable rank
• Pro-finite MV-spaces
• Title not available (Why is that?)
• Barwise: Infinitary Logic and Admissible Sets
• Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (17)

• Spectra of groups
• Martínez frames
• Cevian operations on distributive lattices
• A solution to the MV-spectrum problem in size aleph one
• Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one
• Title not available (Why is that?)
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• Cevian properties in ideal lattices of abelian \(\ell\)-groups
• The Zariski-Riemann space of valuation rings
• Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields
• Elementary divisors, Hochster duality, and spectra
• Title not available (Why is that?)
• Spectra of abelian weakly associative lattice groups
• Spectral sets and factorizations of finite abelian groups
• Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum
• From noncommutative diagrams to anti-elementary classes
• AF-algebras with lattice-ordered \(K_0\): logic and computation

This page was built for publication: Spectral spaces of countable abelian lattice-ordered groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644964)