We introduce a class \({\mathcal {A}}\) of finitely generated residually finite accessible groups with certain natural restriction on one-ended vertex in their JSJ-decompositions. prove that the profinite completion almost detects its JSJ-decomposition and compute genus free products {A}}\).

Given an $S$-arithmetic group, we ask how much information on the ambient algebraic number field of definition, and set places $S$ is encoded in commensurability class profinite completion. As a first step, show that

We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms. However, we introduce an infinite series of groups for which that is not so, and describe the kernels of natural homomorphisms of the profinite completions on...

There are many examples of non-isomorphic pairs of finitely generated abstract groups that are elementarily equivalent. We show that the situation in the category of profinite groups is different: If two finitely generated profinite groups are elementarily equivalent (as abstract groups), then they are isomorphic. The proof applies a result of Nikolov and Segal which in turn relies on the class...

We propose a model-theoretic framework for investigating profinite structures. We prove that in many cases small profinite structures interpret infinite groups. This corresponds to results of Hrushovski and Peterzil on interpreting groups in locally modular stable and o-minimal structures.

By two well-known results, one of Ax, one of Lubotzky and van den Dries, a profinite group is projective iff it is isomorphic to the absolute Galois group of a pseudo-algebraically closed field. This paper gives an analogous characterization of relatively projective profinite groups as absolute Galois groups of regularly closed fields.