Stone Pseudovarieties

• Tipo: Artigo em Revista Científica Internacional
• Data: 2024

Autores

Almeida, J (Autor) FCUP; Klíma, O (Autor) Outra

Revista

Título: Results in Mathematics

Vol. 79

ISSN: 1422-6383

Editora: Springer Nature

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-017-3R8

DOI: 10.1007/s00025-024-02275-4

Abstract (EN): We extend the theory of profinite algebras, as it is used in the algebraic theory of regular languages, to the more general setting of Stone topological algebras with the ultimate goal of going beyond classes of regular languages. We introduce Stone pseudovarieties, that is, classes of Stone topological algebras of a fixed topological signature that are closed under taking Stone quotients, closed subalgebras and finite direct products. Looking at the dual Stone spaces of Boolean algebras of subsets of a given topological algebra, we find a simple characterization of when the dual space admits a natural structure of topological algebra; the characterization is given in terms of how the Boolean algebra behaves under the inverses of the operation evaluation mappings of each arity. This provides an alternative, which is presented in the form of an equivalence of categories, to the duality theory of M. Gehrke. As an application, a Stone quotient of a Stone topological algebra that is residually in a given Stone pseudovariety is shown to be also residually in it, thereby extending the corresponding result of M. Gehrke for the Stone pseudovariety of all finite algebras over discrete signatures, which was recently extended to topological signatures jointly by the authors and H. Goulet-Ouellet. The residual closure of a Stone pseudovariety is thus a Stone pseudovariety, and these are precisely the Stone analogues of varieties. A Birkhoff type theorem for Stone varieties is also established and it is shown how Reiterman's theorem can be derived from it.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 43