De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.

DOI10.1016/J.JPAA.2014.12.031zbMATH Open1332.06052arXiv1311.4680OpenAlexW2963865873MaRDI QIDQ2349937FDOQ2349937

Guram Bezhanishvili, Patrick Morandi, Bruce Olberding, Vincenzo Marra

Publication date: 18 June 2015

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries duality. For a compact Hausdorff space $X$ and a totally ordered algebra $A$, we introduce the concept of a finitely valued normal function $f:XoA$. We show that the operations of $A$ lift to the set $FN(X,A)$ of all finitely valued normal functions, and that there is a canonical proximity relation $prec$ on $FN(X,A)$. This gives rise to the de Vries power construction, which when restricted to Stone spaces, yields the Boolean power construction. We prove that de Vries powers of a totally ordered integral domain $A$ are axiomatized as proximity Baer Specker $A$-algebras, those pairs $(S,prec)$, where $S$ is a torsion-free $A$-algebra generated by its idempotents that is a Baer ring, and $prec$ is a proximity relation on $S$. We introduce the category of proximity Baer Specker $A$-algebras and proximity morphisms between them, and prove that this category is dually equivalent to the category of compact Hausdorff spaces and continuous maps. This provides an analogue of de Vries duality for proximity Baer Specker $A$-algebras.

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

zbMATH Keywords

compact Hausdorff spacesStone spacesBoolean powersde Vries algebrasproximity Baer Specker algebrastotally ordered integral domains

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Proximity structures and generalizations (54E05) Ordered rings (13J25) Topological representations of algebraic systems (54H10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Stone spaces (Boolean spaces) and related structures (06E15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Normal Completion of the Lattice of Continuous Functions
• Projective topological spaces
• Stone duality and Gleason covers through de Vries duality
• 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
• Boolean powers
• DEDEKIND COMPLETIONS OF BOUNDED ARCHIMEDEAN ℓ-ALGEBRAS
• Proximity frames and regularization.
• Epi-archimedean groups
• Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality.
• De Vries algebras and compact regular frames
• $l$-prime ideals in $f$-rings
• Idempotent generated algebras and Boolean powers of commutative rings
• Boolean powers

Cited In (4)

• A unified approach to Gelfand and de Vries dualities
• Idempotent generated algebras and Boolean powers of commutative rings
• A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras
• De Vries powers and proximity Specker algebras

This page was built for publication: De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.

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