Abstract:Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion of any abstract algebra is the extended Stone dual space of the Boolean algebra of recognizable subsets of the abstract algebra endowed with certain residuation operations. These results identify a connection between topological algebra as applied in algebra and Stone duality as applied in logic, and show that the notion of recognition originating in computer science is intrinsic to profinite completion in mathematics in general. This connection underlies a number of recent results in automata theory including a generalization of Eilenberg-Reiterman theory for regular languages and a new notion of compact recognition applying beyond the setting of regular languages. The purpose of this paper is to give the underlying duality theoretic result in its general form. Further we illustrate the power of the result by providing a few applications in topological algebra and language theory. In particular, we give a simple proof of the fact that any topological algebra quotient of a profinite algebra which is again based on a Boolean space is in fact a profinite algebra and we derive the conditions dual to the ones of the original Eilenberg theorem in a fully modular manner. We cast our results in the setting of extended Priestley duality for distributive lattices with additional operations as some classes of languages of interest in automata fail to be closed under complementation.

Stone Topological Representation Theorem for R0-algebras

Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)

Intrinsic Topological Representation of Real Algebraic Surfaces

Ideal Topology on Effect Algebras

Frink Ideal Topology of Lattice Effect Algebras

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

Choice-free Stone duality

The Ideal with Its Properties in R_0-Algebras

Characterization of rough sets

The Logical Properties of Lower and Upper Approximation Operations in Rough Sets

Stone duality, topological algebra, and recognition

Stone’s Representation Theorem in Fuzzy Topology

A Form of R0-Algebras on a Set with Binary Operators ,→

Representations of Frobenius-type Triangular Matrix Algebras

Local R0-Algebras

The Representation Theorem of the Lattice BR0-algebraic Structure

The properties of -filters of a topological system

Representation theorems for Q -algebras

Submaximal Filter of BR_0-Algebras

The Topolgica Space of Prime Ideal in BR_0-algebra

Stone and double Stone algebras: Boolean and Rough Set Representations, 3-valued and 4-valued Logics