Bohr compactifications of algebras and structures

DOI10.1007/S10485-016-9436-0zbMATH Open1387.18005arXiv1506.00329OpenAlexW638708505MaRDI QIDQ2014018FDOQ2014018

Hilary A. Priestley, Brian A. Davey, Miroslav Haviar

Publication date: 10 August 2017

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

Abstract: This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad picture: the Bohr compactification of an abelian group via Pontryagin duality, the zero-dimensional Bohr compactification of a semilattice, and the Nachbin order-compactification of an ordered set. The notion of a natural extension functor is extended to suitable categories of structures and such a functor is shown to yield a reflection into an associated category of topological structures. Our principal results address reconciliation of the natural extension with the Bohr compactification or its zero-dimensional variant. In certain cases the natural extension functor and a Bohr compactification functor are the same, in others the functors have different codomains but may agree on all objects. Coincidence in the stronger sense occurs in the zero-dimensional setting precisely when the domain is a category of structures whose associated topological prevariety is standard. It occurs, in the weaker sense only, for the class of ordered sets and, as we show, also for infinitely many classes of ordered structures. Coincidence results aid understanding of Bohr-type compactifications, which are defined abstractly. Ideas from natural duality theory lead to an explicit description of the natural extension which is particularly amenable for any prevariety of algebras with a finite, dualisable, generator. Examples of such classes---often varieties---are plentiful and varied, and in many cases the associated topological prevariety is standard.

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

Recommendations

• Algorithms for Nielsen type periodic numbers of maps with remnant on surfaces with boundary and on bouquets of circles I
• Categorical aspects of compact quantum groups
• A note on compactifications of products of semigroups
• scientific article; zbMATH DE number 203223
• Extension of continuous functions on product spaces, Bohr compactification and almost periodic functions.

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Stone-%EF%BF%BD%EF%BF%BDech+compactification&go=Go Stone-��ech compactification]natural dualitynatural extensionBohr compactificationNachbin order-compactificationstandard topological prevariety

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Other topological algebraic systems and their representations (22A30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Natural dualities for classes of algebras (08C20) Topological representations of algebraic systems (54H10)

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?)
• Continuous Lattices and Domains
• Natural dualities for quasivarieties generated by a finite commutative ring.
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• Natural dualities for semilattice-based algebras
• Title not available (Why is that?)
• Strong duality for metacyclic groups
• Title not available (Why is that?)
• Minimally generated Boolean algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Piggyback dualities revisited
• Natural dualities, nilpotence and projective planes
• Natural dualities in partnership
• Dualisability. Unary algebras and beyond
• Standard topological algebras: syntactic and principal congruences and profiniteness
• On the Bohr compactification
• Title not available (Why is that?)
• Theorems on Compact Totally Disconnected Semigroups and Lattices
• Distributive Ockham algebras: free algebras and injectivity
• Title not available (Why is that?)
• Natural extensions and profinite completions of algebras
• The axiomatizability of topological prevarieties
• Residual bounds for compact totally disconnected algebras
• Title not available (Why is that?)
• Boolean topological distributive lattices and canonical extensions
• Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
• Profinite completions and canonical extensions of Heyting algebras
• A partially ordered space which is not a Priestley space
• Dual categories for endodualisable Heyting algebras: optimization and axiomatization
• Title not available (Why is that?)
• Counting relations on Ockham algebras.
• Flat unars: the primal, the semi-primal and the dualisable
• PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
• Natural dualities for three classes of relational structures
• Algorithms for Nielsen type periodic numbers of maps with remnant on surfaces with boundary and on bouquets of circles I
• Priestley rings and Priestley order-compactifications
• Title not available (Why is that?)
• The Priestley separation axiom for scattered spaces
• Title not available (Why is that?)
• Canonical extensions and profinite completions of semilattices and lattices
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Piggyback dualities revisited
• New perspectives on semi-primal varieties
• BOHR COMPACTIFICATIONS OF GROUPS AND RINGS
• Title not available (Why is that?)

This page was built for publication: Bohr compactifications of algebras and structures

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