Related papers: Diamond Theorem for finitely generated Profinite f…
For a formation $\mathfrak{F}$ of finite groups, tight connections are established between the pro-$\mathfrak{F}$-topology of a finitely generated free group $F$ and the geometry of the Cayley graph $\Gamma(\hat{F_{\mathfrak{F}}})$ of the…
Let $(\mathcal{G},\Gamma)$ be an abstract graph of finite groups. If $\Gamma$ is finite, we can construct a profinite graph of groups in a natural way $(\hat{\mathcal{G}},\Gamma)$, where $\hat{\mathcal{G}}(m)$ is the profinite completion of…
We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…
Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits…
We show that the class of profinite duality groups is closed under group extensions provided that the kernel satisfies some finiteness condition. This extends earlier results of Pletch and of Wingberg.
Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect 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.
We define and study the class of positively finitely related (PFR) profinite groups. Positive finite relatedness is a probabilistic property of profinite groups which provides a first step to defining higher finiteness properties of…
Let $S$ be either a free group or the fundamental group of a closed hyperbolic surface. We show that if $G$ is a finitely generated residually-$p$ group with the same pro-$p$ completion as $S$, then two-generated subgroups of $G$ are free.…
We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…
Let $\Pi$ be the \'etale fundamental group of a smooth affine curve over an algebraically closed field of characteristic $p>0$. We establish a criterion for profinite freeness of closed subgroups of $\Pi$. Roughly speaking, if a closed…
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 give necessary and sufficient conditions on the graph of a right-angled Artin group that determine whether the group is subgroup separable or not. Moreover, we investigate the profinite topology of the direct product of two free groups.…
A survey of recent results about profinite groups, and results about infinite and finite groups where the theory of profinite groups plays a leading role.
A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…
In this paper we investigate the following general problem. Let $G$ be a group and let $i(G)$ be a property of $G$. Is there an integer $d$ such that $G$ contains a $d$-generated subgroup $H$ with $i(H)=i(G)$? Here we consider the case…
In this note, we explore the notion of hyperbolicity of topologically finitely generated profinite groups. Some applications to diophantine geometry are suggested and we try to reformulate certain problems in diophantine geometry in terms…
We answer a question of Margolis from 1997 by establishing that the maximal subgroup of the minimal ideal of a finitely generated free profinite monoid is a free profinite group. More generally if $\mathbf H$ is variety of finite groups…
We prove various finite de Finetti theorems for non-commutative distributions which are invariant under the free easy quantum group actions. This complements the free de Finetti theorems by Banica, Curran and Speicher, which mostly focus on…
In this paper we introduce a particular lattice of subgroups called a "cyclic-diamond" and show that every finite non-cyclic group contains a cyclic-diamond as a sublattice of its lattice of subgroups. Turning to the infinite case, we show…