Arithmetic Groups

If a monomorphism of abstract groups H↪G induces an isomorphism of profinite completions, then (G,H) is called a Grothendieck pair, recalling the fact that Grothendieck asked about the existence of such pairs with G and H finitely presented and...