De Vries powers and proximity Specker algebras

DOI10.1007/S10485-023-09714-3MaRDI QIDQ6100552OpenAlexFDO

Authors Guram Bezhanishvili, Luca Carai, Patrick Morandi, Bruce Olberding

Publication date 12 May 2023

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

proximityBaer ringintegral domainBoolean powerde Vries algebraSpecker algebra

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Integral domains (13G05) Proximity structures and generalizations (54E05)

Abstract: By de Vries duality [9], the category $sfKHaus$ of compact Hausdorff spaces is dually equivalent to the category $sfDeV$ of de Vries algebras. In [5] an alternate duality for $sfKHaus$ was developed, where de Vries algebras were replaced by proximity Baer-Specker algebras. The functor associating with each compact Hausdorff space a proximity Baer-Specker algebra was described by generalizing the notion of a boolean power of a totally ordered domain to that of a de Vries power. It follows that $sfDeV$ is equivalent to the category $sfPBSp$ of proximity Baer-Specker algebras. The equivalence is obtained by passing through $sfKHaus$, and hence is not choice-free. In this paper we give a direct algebraic proof of this equivalence, which is choice-free. To do so, we give an alternate choice-free description of de Vries powers of a totally ordered domain.

Cites work

• scientific article; zbMATH DE number 3685555 (Why is no real title available?)
• scientific article; zbMATH DE number 3467182 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• scientific article; zbMATH DE number 3796014 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras
• Boolean Rings of Projection Maps
• De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.
• Functional completeness in the small. Algebraic structure theorems and identities
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• Idempotent generated algebras and Boolean powers of commutative rings
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Stone duality and Gleason covers through de Vries duality
• The Normal Completion of the Lattice of Continuous Functions

Cited in

(2)

• A unified approach to Gelfand and de Vries dualities
• scientific article; zbMATH DE number 1014559 (Why is no real title available?)

This page was built for publication: De Vries powers and proximity Specker algebras

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