The profinite topology is used in rational languages classification. In particular, several important decidability problems, related to the Malcev product, reduce to the computation of the closure of a rational language in the profinite topology. It is known that given a rational language by a deterministic automaton, computing a deterministic automaton accepting its profinite closure can be do...

The aim of this paper is to obtain a criterion determining the strict cohomological dimension of a profinite group. The strict cohomological dimension of a profinite group G, written scdpG, is the smallest integer n such that the p-primary component of Hn+1(G,M) vanishes for all discrete G-modules M , where p is a prime number. There is also the notion of cohomological dimension of G, denoted b...

We study a profinite group G of finite cohomological dimension with (topologically) finitely generated closed normal subgroup N . If G is pro-p and N is either free as a pro-p group or a Poincaré group of dimension 2 or analytic pro-p, we show that G/N has virtually finite cohomological dimension cd(G) − cd(N). Some other cases when G/N has virtually finite cohomological dimension are considere...

We study the subgroup structure, Hecke algebras, quasi-regular representations, and asymptotic properties of some fractal groups of branch type. We introduce parabolic subgroups, show that they are weakly maximal, and that the corresponding quasi-regular representations are irreducible. These (infinite-dimensional) representations are approximated by finite-dimensional quasi-regular representat...

Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman’s theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products, subalgebras and quotients. In this paper Reiterman’s theorem is generalised to finite Eilenberg-Moore algebras for a monad T on a variety D of (ordered) algebras: ...

Profinite semigroups may be described shortly as projective limits of finite semigroups. They come about naturally by studying pseudovarieties of finite semigroups which in turn serve as a classifying tool for rational languages. Of particular relevance are relatively free profinite semigroups which for pseudovarieties play the role of free algebras in the theory of varieties. Combinatorial pro...

In the present work, we give necessary and sufficient conditions on the graph of a right-angled Artin group that determine whether the group is subgroup separable or not. Also we show that right-angled Artin groups are residually torsion-free nilpotent. Moreover, we investigate the profinite topology of F2 × F2 and of the group L in [18], which are the only obstructions for the subgroup separab...

It is well known [Hoc69, Joy71] that profinite T0-spaces are exactly the spectral spaces. We generalize this result to the category of all topological spaces by showing that the following conditions are equivalent: (1) (X,τ) is a profinite topological space. (2) The T0-reflection of (X,τ) is a profinite T0-space. (3) (X,τ) is a quasi spectral space (in the sense of [BMM08]). (4) (X,τ) admits a ...

Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity of detailed prediction models and the semantic gap between modelled performance concerns and functional concerns prevents many developers to address performance. As a solution to this problem, systematic model refinem...