Abstract: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. This generalises (and gives a new proof of) the analogous result of Baumslag for parafree groups. Our argument relies on the following new ingredient: if G is a residually-(torsion-free nilpotent) group and is a virtually polycyclic subgroup, then H is nilpotent and the pro- p topology of G induces on H its full pro- p topology. Then we study applications to profinite rigidity. Remeslennikov conjectured that a finitely generated residually finite G with profinite completion is necessarily . We confirm this when G belongs to a class of groups that has a finite abelian hierarchy starting with finitely generated residually free groups. This strengthens a previous result of Wilton that relies on the hyperbolicity assumption. Lastly, we prove that the group is profinitely rigid within finitely generated residually free groups.

On profinite groups with the Magnus Property

Probabilistic properties of profinite groups

Finite subgroups of the profinite completion of good groups

Profinite properties of residually free groups

On the profinite rigidity of free and surface groups

Strong conciseness of coprime commutators in profinite groups

$p$-elements in profinite groups

Profinite groups with soluble centralisers

On pro-p Cappitt groups with finite exponent

On Malle's conjecture for nilpotent groups, I

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

On the structure of just infinite profinite groups

Cohomological properties of maximal pro- p Galois groups that are preserved under profinite completion

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Amenability and profinite completions of finitely generated groups

Chasing Maximal Pro-p Galois Groups via 1-Cyclotomicity

Strange images of profinite groups

On p-nilpotency of finite groups?

Absolute profinite rigidity, direct products, and finite presentability

On soluble groups in which commutators have prime power order