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.

Strange images of profinite groups

Finite subgroups of the profinite completion of good groups

Some aspects of profinite group theory

On the structure of just infinite profinite groups

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

On the profinite rigidity of free and surface groups

Profinite groups with soluble centralisers

Virtual homology of limit groups and profinite rigidity of direct products

Finitely generated infinite torsion groups that are residually finite simple

On isomorphisms to a free group and beyond

Prosoluble subgroups of free profinite products

On (hereditarily) just infinite profinite groups that are not virtually pro-p

Probabilistic properties of profinite groups

Absolute profinite rigidity, direct products, and finite presentability

Residual finiteness and discrete subgroups of Lie groups

Finite Germ Extensions

On profinite groups with the Magnus Property

Profinite properties of residually free groups

Finitely generated subgroups of branch groups and subdirect products of just infinite groups

FINITE GROUPS WITH NILPOTENT LOCAL SUBGROUPS