We construct the first example of a finitely-presented, residually-finite
group that contains an infinite sequence of non-isomorphic finitely-presented
subgroups such that each of the inclusion maps induces an isomorphism of
profinite completions.Comment: 10 pages, no figures. Final version to appear in Journal of the
European Math. So