MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G,H$ be infinite finitely generated groups such that $F(G)=F(H)$. Where $F(G)$ denotes the isomorphism classes of finite quotients of $G$. Let $G$ be residually finite. can we say that $H$ is residually finite too?

share|cite|improve this question
The first condition is redundant - all infinite, finitely generated groups are countable. – HJRW Mar 14 '12 at 21:43
ali, your title is very terse. It would be better to change it to something more descriptive, eg 'Is residual finiteness a profinite property?'. – HJRW Mar 15 '12 at 6:54

As Steve D observes, the answer is 'no'. This is a very general phenomenon. Let $G$ be any finitely generated residually finite group, and let $S$ be any finitely generated group with no finite quotients (Higman gave an example, or use an infinite simple group). Then $F(G)=F(G\times S)$, but $G\times S$ is certainly not residually finite.

share|cite|improve this answer

$\mathbb{Z}\times\mathbb{Z}$ and Thompson's group $F$ have the same finite quotients, because $F'$ is the minimal normal subgroup of $F$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.