This paper is based on a series of 4 lectures delivered at Groups St Andrews 2013. The main theme of the lectures was distinguishing finitely generated residually finite groups by their finite quotients. The purpose of this paper is to expand and develop the lectures.The paper is organized as follows. In §2 we collect some questions that motivated the lectures and this article, and in §3 discuss some examples related to these questions. In §4 we recall profinite groups, profinite completions and the formulation of the questions in the language of the profinite completion. In §5, we recall a particular case of the question of when groups have the same profinite completion, namely Grothendieck's question. In §6 we discuss how the methods of L 2 -cohomology can be brought to bear on the questions in §2, and in §7, we give a similar discussion using the methods of the cohomology of profinite groups. In §8 we discuss the questions in §2 in the context of groups arising naturally in low-dimensional topology and geometry, and in §9 discuss parafree groups. Finally in §10 we collect a list of open problems that may be of interest.Acknoweldgement: The material in this paper is based largely on joint work with M. R. Bridson, and with M. R. Bridson and M. Conder and I would like to thank them for their collaborations. I would also like to thank the organizers of Groups St Andrews 2013 for their invitation to deliver the lectures, for their hopsitality at the conference, and for their patience whilst this article was completed.
The motivating questionsWe begin by recalling some terminology. A group Γ is said to be residually finite (resp. residually, nilpotent, residually-p, residually torsion-free-nilpotent) if for each non-trivial γ ∈ Γ there exists a finite group (resp. nilpotent group, p-group, torsion-free-nilpotent group) Q and a homomorphism φ : Γ → Q with φ(γ) = 1.2.1. If a finitely-generated group Γ is residually finite, then one can recover any finite portion of its Cayley graph by examining the finite quotients of the group. It is therefore natural to wonder whether, under reasonable hypotheses, the setAssuming that the groups considered are residually finite is a natural condition to impose, since, first, this guarantees a rich supply of finite quotients, and secondly, one can always form the free product Γ * S where S is a finitely generated infinite simple group, and then, clearly C(Γ) = C(Γ * S). Henceforth, unless otherwise stated, all groups considered will be residually finite.The basic motivating question of this work is the following due to Remesselenikov:Question 1: If F n is the free group of rank n, and Γ is a finitely-generated, residually finite group, supported in part by NSF grants. 1 2 ALAN W. REID then does C(Γ) = C(F n ) imply that Γ ∼ = F n ?This remains open at present, although in this paper we describe progress on this question, as well as providing structural results about such a group Γ (should it exist) as in Question 1. Following [31], we define the genus of a finitely generated residual...