We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of ...

In 1980, Janusz A. Brzozowski presented a selection of six open problems about regular languages and mentioned two other problems in the conclusion of his article. These problems have been the source of some of the greatest breakthroughs in automata theory over the past 35 years. This survey article summarizes the state of the art on these questions and the hopes for the next 35 years. Thirty-f...

The purpose of this paper is to contribute the theory profinite semigroups by considering special class consisting those all whose finitely generated closed subsemigroups are countable, which said be locally countable. We also call countable a pseudovariety V (of finite semigroups) for pro-V investigate operations preserving local countability pseudovarieties and show that, in contrast with fin...

in this paper we introduce the construction of free profinite products of profinite groups withcommuting subgroups. we study a particular case: the proper free profinite products of profinite groups with commuting subgroups. we prove some conditions for a free profinite product of profinite groups with commuting subgroups to be proper. we derive some consequences. we also compute profinite comp...

This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...

Surprising as it may be at first sight, there are a number of connections between the theories of finite semigroups and dynamical systems, both viewed in a broad sense. For instance in symbolic dynamics, ideas or analogies from the theory of finite automata find a natural setting for application in sofic systems [10, 24] and, even though not usually formulated in dynamical terms, the dynamical ...

We extend Reiterman’s theorem to first-order structures: a class of finite first-order structures is a pseudovariety if and only if it is defined by a set of identities in a certain relatively free profinite structure (pseudoidentities). A well-known result of Birkhoff states that a class of algebras is a variety, that is, is closed under taking subalgebras, homomorphic images and direct produc...

The aim of this thesis is to study profinite groups of type FPn. These are groups G which admit a projective resolution P of Ẑ as a ẐJGK-module such that P0, . . . , Pn are finitely generated, so this property can be studied using the tools of profinite group cohomology. In studying profinite groups it is often useful to consider their cohomology groups with profinite coefficients, but pre-exis...

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the étale homotopy theory of schemes in which higher profinite étale homotopy groups fit well with the étale fundamental group which is always profinite. We show that the profi...

We solve an open problem of Herfort and Ribes: Profinite Frobenius groups of certain type do occur as closed subgroups of free profinite products of two profinite groups. This also solves a question of Pop about prosolvable subgroups of free profinite products.