The spectrum problem for abelian -groups and MV-algebras

DOI10.1007/S00012-020-00668-4zbMATH Open1460.06002arXiv1907.11095OpenAlexW3040263023MaRDI QIDQ776994FDOQ776994

Authors: Antonio Di Nola, Giacomo Lenzi 

Publication date: 13 July 2020

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian l-groups. As a first main result, we show that a topological space $X$ is the prime spectrum of an MV-algebra if and only if: (1) $X$ is spectral, and (2) the lattice of compact open subsets of $X$ is an epimorphic image of a lattice of "cylinder rational polyhedra" (a natural generalization of rational polyhedra) of some hypercube. As a second main result we extend our results to Abelian l-groups. That is, let $X$ be a spectral space and $K(X)$ the lattice of its compact open sets. The following are equivalent: (1) $X$ is the spectrum of some Abelian l-group; (2) $X$ is homeomorphic to $Spec(K(X))$ and $K(X)cupinfty$ is isomorphic to the lattice of the compact open sets of a local MV-algebra, where $infty>x$ for every $xinK(X)$. Finally we axiomatize, in monadic second order logic, the lattices of cylinder rational polyhedra of dimension $1$ and $2$.

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

Recommendations

• On Free MV-Algebras
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• On some lattice quotients of \(MV\)-algebras
• Cevian operations on distributive lattices
• scientific article; zbMATH DE number 7564036
• A characterization of MV-algebras free over finite distributive lattices
• Algebraically closed MV-algebras and their sheaf representation
• On free MV algebras and a problem of Tarski
• scientific article; zbMATH DE number 1014798
• Orders on groups, and spectral spaces of lattice-groups

zbMATH Keywords

latticepolyhedronprime idealMV-algebraspectral spacereticulationlattice ordered abelian group

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) MV-algebras (06D35) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Cites Work

• Title not available (Why is that?)
• Prime Ideal Structure in Commutative Rings
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Prime spectra of lattice-ordered abelian groups
• Algebraic foundations of many-valued reasoning
• The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit
• Lattice Theory: Foundation
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Positive operators
• Topological representations of distributive lattices and Brouwerian logics
• Reticulated rings
• Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Lebesgue state of a unital abelian lattice-ordered group
• Title not available (Why is that?)
• Advanced Łukasiewicz calculus and MV-algebras
• Representation theory of MV-algebras
• Title not available (Why is that?)
• Dimension Groups and Their Affine Representations
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• Free Vector Lattices
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• On some lattice quotients of \(MV\)-algebras
• Priestley duality and quotient lattices of many-valued algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• The dual adjunction between MV-algebras and Tychonoff spaces
• Yosida Type Representation for Perfect MV‐Algebras
• The monadic theory of order
• A completely normal spectral space that is not a real spectrum
• A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space
• On the order of prime ideals
• Title not available (Why is that?)
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Combinatorial Aspects of Piecewise Linear Functions
• Directed colimits of free commutative semigroups
• A characterisation of lattice-ordered Abelian groups
• Tarski's theorem on intuitionistic logic, for polyhedra
• Duality theory and skeleta for semisimple MV-algebras
• Pro-finite MV-spaces
• Convex approximation technique for interacting line elements deblurring: a new approach
• Relative subalgebras of MV-algebras
• Generic substitutions
• Spectral spaces of countable abelian lattice-ordered groups

Cited In (12)

• Title not available (Why is that?)
• 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?)
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Spectral MV-algebras and equispectrality
• Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields
• Reticulation of a quantale, pure elements and new transfer properties
• Elementary divisors, Hochster duality, and spectra
• Title not available (Why is that?)
• \(P\)-spectra of abelian groups
• Spectral spaces of countable abelian lattice-ordered groups

This page was built for publication: The spectrum problem for abelian \(\ell\)-groups and MV-algebras

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