The isomorphism problem for profinite completions of residually finite groups

We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow \Gamma$. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions $\hat{u}: \widehat{P} \to \widehat{\Gamma}$ is an isomorphis...

Full description

Bibliographic Details
Main Authors: Bridson, M, Wilton, H
Format: Journal article
Published: European Mathematical Society 2014