Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

DOI10.1016/J.JALGEBRA.2014.06.031zbMATH Open1300.06001arXiv1306.2839OpenAlexW2167210166MaRDI QIDQ404568FDOQ404568

Authors: Mai Gehrke, Samuel J. van Gool, Vincenzo Marra 

Publication date: 4 September 2014

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

Abstract: We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

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

Recommendations

• On some lattice quotients of \(MV\)-algebras
• Fuzzy topology representation for MV-algebras
• Yosida Type Representation for Perfect MV‐Algebras
• Boolean products of MV-algebras: hypernormal MV-algebras
• scientific article; zbMATH DE number 2168736
• Riesz MV-algebras and their logic
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• The writing of the MV-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• Categories and varieties of MV-algebras

zbMATH Keywords

compact Hausdorff spacePriestley dualityMV-algebraStone dualitydistributive latticespectral spacelattice-ordered abelian group[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDtale+decomposition&go=Go ��tale decomposition]sheaf representation

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) MV-algebras (06D35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Presheaves and sheaves in general topology (54B40) Lattices and duality (06D50)

Cites Work

• Prime Ideal Structure in Commutative Rings
• Title not available (Why is that?)
• 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
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reticulated rings
• Compact representations of BL-algebras
• Lattice-ordered abelian groups and Schauder bases of unimodular fans. II
• Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
• Representations of MV-algebras by sheaves
• Stably compact spaces
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• Invariant Measures in Free MV-Algebras
• Title not available (Why is that?)
• Bounded distributive lattice expansions
• Title not available (Why is that?)
• The Lebesgue state of a unital abelian lattice-ordered group
• Bounded lattice expansions
• Advanced Łukasiewicz calculus and MV-algebras
• Representation theory of MV-algebras
• Title not available (Why is that?)
• Coproducts of De Morgan algebras
• Lattices of continuous functions
• Global subdirect products
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Free Vector Lattices
• The Priestley duality for Wajsberg algebras
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Canonical Extensions, Esakia Spaces, and Universal Models
• An isomorphism principle in general topology
• Stably compact spaces and the probabilistic powerspace construction
• Priestley duality and quotient lattices of many-valued algebras
• Sheaf representation and Chinese Remainder Theorems
• A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups
• Extending Stone duality to multisets and locally finite MV-algebras.
• A simplified duality for implicative lattices and \(l\)-groups
• On Priestley spaces of lattice-ordered algebraic structures
• Sheaves of abelian \(l\)-groups
• The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras
• Duality for double quasioperator algebras via their canonical extensions
• Stone duality for real-valued multisets
• The Lebesgue state of a unital abelian lattice-ordered group. II
• Jaffard-Ohm correspondence and Hochster duality
• The Order Structure of Stone Spaces and the T_D‐Separation Axiom
• The Chinese remainder theorem and sheaf representations
• Title not available (Why is that?)
• The dual adjunction between MV-algebras and Tychonoff spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(l\)-groups and Bézout domains
• A Sahlqvist theorem for distributive modal logic
• Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations

Cited In (18)

• Title not available (Why is that?)
• Germinal theories in Łukasiewicz logic
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• A representation theorem for integral rigs and its applications to residuated lattices.
• A categorical duality for algebras of partial functions
• Sheaves and duality
• Sheaf representations and locality of Riesz spaces with order unit
• Difference-restriction algebras of partial functions with operators: discrete duality and completion
• Natural dualities for varieties generated by finite positive MV-chains
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• Inflationary BL-algebras obtained from 2-dimensional general overlap functions
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• A set-theoretic proof of the representation of MV-algebras by sheaves
• Priestley duality for MV-algebras and beyond
• Representations of MV-algebras by sheaves
• Topological duality and algebraic completions
• Orders on groups, and spectral spaces of lattice-groups
• An extension of Stone duality to fuzzy topologies and MV-algebras

This page was built for publication: Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

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