Profinite topologies - MaRDI portal

DOI10.4171/Automata-1/17MaRDI QIDQ2074218

Publication date: 4 February 2022

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

compactness join topology symbolic dynamics uniform space semidirect product irreducibility pseudometric profinite semigroup pseudovariety pseudoword recognizable subset nets, continuity pseudoquasivariety

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Topological fields, rings, etc. (topological aspects) (54H13)

Related Items

Recognizing pro-$\mathrm{R}$ closures of regular languages ⋮ What makes a Stone topological algebra profinite

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Presentations of Schützenberger groups of minimal subshifts.
Closures of regular languages for profinite topologies.
A geometric interpretation of the Schützenberger group of a minimal subshift
The pro-nilpotent group topology on a free group
On the endomorphism monoid of a profinite semigroup
On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
Tameness of pseudovariety joins involving R.
An automata-theoretic approach to the word problem for $\omega$-terms over R
A combinatorial property of ideals in free profinite monoids.
Maximal subgroups of the minimal ideal of a free profinite monoid are free.
Infinite-vertex free profinite semigroupoids and symbolic dynamics.
The Birkhoff theorem for finite algebras
Decidability of complexity one-half for finite semigroups
Some remarks on subgroups defined by the Bohr compactification
Topologies for the free monoid
Profinite categories and semidirect products
On some systems of equations with constraints in a free group. -- Addenda.
Finite index subgroups in profinite groups.
The word problem for omega-terms over the Trotter-Weil hierarchy
Towards a pseudoequational proof theory
Pointlike sets: the finest aperiodic cover of a finite semigroup
Nonstandard characterization of pseudovarieties
Eilenberg's theorem for positive varieties of languages
A Reiterman theorem for pseudovarieties of finite first-order structures
Profinite semigroups, Mal'cev products, and identities
Every decidable pseudovariety of abelian groups is completely tame
The linear nature of pseudowords
A noncommutative extension of Mahler's theorem on interpolation series
Complete reducibility of systems of equations with respect to $\mathbf R$.
Complexity of finite semigroups
Bases for equational theories of semi-groups
Standard topological algebras: syntactic and principal congruences and profiniteness
Moore-Smith convergence in general topology
The pseudoidentity problem and reducibility for completely regular semigroups
Dynamics of implicit operations and tameness of pseudovarieties of groups
A NOTE ON PSEUDOVARIETIES OF COMPLETELY REGULAR SEMIGROUPS
Ehrenfeucht-Fraisse Games on Omega-Terms
Complete κ-reducibility of pseudovarieties of the form DRH
ON PROFINITE UNIFORM STRUCTURES DEFINED BY VARIETIES OF FINITE MONOIDS
Profinite groups associated to sofic shifts are free
REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA
INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
Theorems on Compact Totally Disconnected Semigroups and Lattices
Closed subgroups of free profinite monoids are projective profinite groups
Duality and Equational Theory of Regular Languages
APERIODIC POINTLIKES AND BEYOND
A Topological Approach to Recognition
Rational codes and free profinite monoids
COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
Substitutional dynamical systems, Bratteli diagrams and dimension groups
A Conjecture on the Hall Topology for the Free Group
Undecidability of the identity problem for finite semigroups
THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
On the hyperdecidability of semidirect products of pseudovarieties
Equations in free groups are not finitely approximable
On The Profinite Topology on a Free Group
THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
Defining Relations and the Algebraic Structure of the Group SL₂ over Integral Hamilton Quaternions
The pseudovariety $J$ is hyperdecidable
On the Decidability of Iterated Semidirect Products with Applications to Complexity
Separating regular languages with first-order logic
Pro-aperiodic monoids via saturated models
TAMENESS OF THE PSEUDOVARIETY LS1
INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY
CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA
NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS
ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS
On the extension problem for partial permutations
ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
An Introduction to Symbolic Dynamics and Coding
ALGORITHMIC PROBLEMS IN VARIETIES
Extending partial automorphisms and the profinite topology on free groups
Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
The pseudovariety of all nilpotent groups is tame
TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS
SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS
CONJUGACY INVARIANTS OF SUBSHIFTS: AN APPROACH FROM PROFINITE SEMIGROUP THEORY
A topology for free groups and related groups
On algorithmic problems for joins of pseudovarieties
SC-hyperdecidability of $\mathbf R$
Free profinite locally idempotent and locally commutative semigroups
Semidirect product with an order-computable pseudovariety and tameness.