Related papers: The profinite completion of accessible groups

We survey recent work ranging around the question in how far a group, or a property of a group, is determined by the set of finite quotient groups. Our focus lies on $S$-arithmetic groups, branch groups, and their relatives.

We establish that, under certain closure assumptions on a pseudovariety of semigroups, the corresponding relatively free profinite semigroups freely generated by a non-singleton finite set act faithfully on their minimum ideals. As…

We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function.…

For any positive integer $n$, $\mathcal{A}_n$ is the class of all groups $G$ such that, for $0\leq i\leq n$, $H^i(\hat{G},A)\cong H^i(G,A)$ for every finite discrete $\hat{G}$-module $A$. We describe certain types of free products with…

Our purpose is to visualize the pronilpotent completion of a finitely generated free group as a certain subgroup in the free Lie group.

We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove…

We prove that finitely generated free metabelian groups $\Psi_n$ are profinitely rigid in the absolute sense: they are distinguished by their finite quotients among all finitely generated residually finite groups. The proof is based on a…

We study a family of finitely generated residually finite groups. These groups are doubles $F_2*_H F_2$ of a rank-$2$ free group $F_2$ along an infinitely generated subgroup $H$. Varying $H$ yields uncountably many groups up to isomorphism.

In this article, I study some classes of finitely presented groups with the aim of finding out whether the maximal metabelian quotients of the members of these classes admit finite presentations. The considered classes include those of…

In this note we prove that if $G$ is a finitely generated profinite group then the verbal subgroup $G^{q}$ is open. Equivalently in a $d$-generator finite group every product of $q$th powers is a product of $f(d,q)$ $q$th powers.

We prove that every small profinite group can be decomposed into a direct product of indecomposable profinite groups, and that such a decomposition is unique up to order and isomorphisms of the components. We also investigate the…

The free profinite product of finitely many absolute Galois group is an absolute Galois group.

We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is…

Using the canonical JSJ splitting, we describe the outer automorphism group $\Out(G)$ of a one-ended word hyperbolic group $G$. In particular, we discuss to what extent $\Out(G)$ is virtually a direct product of mapping class groups and a…

We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the $JSJ$ decompositions relative to those parameters.

We prove that finitely presented residually free groups are subgroup conjugacy separable. Furthermore, if they are of type $FP_\infty$, then they are also subgroup conjugacy distinguished. Using a connection between conjugacy separability…

We prove an accessibility result for finitely generated groups that combines Sela's acylindrical accessibility with Linell accessibility.

We classify the groups quasi-isometric to a group generated by finite-order elements within the class of one-ended hyperbolic groups which are not Fuchsian and whose JSJ decomposition over two-ended subgroups does not contain rigid vertex…

It is shown that the relatively free centre-by-metabelian and (class-2 nilpotent)-by-abelian pro-p groups on 2 generators are each finitely axiomatizable in the class of all profinite groups.

We show that the maximal subgroup of the free profinite semigroup associated by Almeida to an irreducible sofic shift is a free profinite group, generalizing an earlier result of the second author for the case of the full shift (whose…