Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userProfinite detection of 3-manifold decompositions
156
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser--Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco--Shalen--Johannson decomposition of $M$.
rate research
Read More
We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely generated pro-$p$ groups.
Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.
If $M$ is a compact 3-manifold whose first betti number is 1, and $N$ is a compact 3-manifold such that $pi_1N$ and $pi_1M$ have the same finite quotients, then $M$ fibres over the circle if and only if $N$ does. We prove that groups of the form $F_2rtimesmathbb{Z}$ are distinguished from one another by their profinite completions. Thus, regardless of betti number, if $M$ and $N$ are punctured torus bundles over the circle and $M$ is not homeomorphic to $N$, then there is a finite group $G$ such that one of $pi_1M$ and $pi_1N$ maps onto $G$ and the other does not.
Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of Boolean algebras of regular languages. The additional structure is given by a compact zero-dimensional topology. Profinite topologies may also be considered on arbitrary abstract semigroups by taking the initial topology for homomorphisms into finite semigroups. This text is the proposed chapter of the Handdbook of Automata Theory dedicated to these topics. The general theory is formulated in the setting of universal algebra because it is mostly independent of specific properties of semigroups and more general algebras naturally appear in this context. In the case of semigroups, particular attention is devoted to solvability of systems of equations with respect to a pseudovariety, which is relevant for solving membership problems for pseudovarieties. Focus is also given to relatively free profinite semigroups per se, specially large ones, stressing connections with symbolic dynamics that bring light to their structure.
We present a survey of results on profinite semigroups and their link with symbolic dynamics. We develop a series of results, mostly due to Almeida and Costa and we also include some original results on the Schutzenberger groups associated to a uniformly recurrent set.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
