Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

What is an easy example of a finitely presented group which is not residually finite?

To be clear, part of the question is: how do we see that it isn't?

share|cite|improve this question
The Baumslag–Solitar group B(2,3) is a classical example, it has an incredibly simple presentation, and showing it is not hopfian (and therefore non-residually finite) is done using the basic tools of combinatorial group theory... What does easy mean, exactly? – Mariano Suárez-Alvarez Jan 25 '12 at 20:17
Terry Tao's blogpost… gives a fairly simple example. – David Speyer Jan 26 '12 at 0:19
Further to MarianoSuárez-Alvarez's comment, there is a classification of Baumslag-Solitar groups with respect to whether they are Hopfian, residually finite, or neither. See my post here,… – user1729 Jan 26 '12 at 10:34
Also, there is a recent paper (2007) by, among others, the Baumslag of Baumslag-Solitar fame, called "Reflections on the residual finiteness of one-relator groups". In this paper the authors prove that if $r$ and $w$ are non-commuting words in the free group $F(a, b, \ldots)$ then the group $\langle a, b, \ldots ; r^{r^w}=r^2\rangle$ is not residually finite. Which is pretty. – user1729 Jan 26 '12 at 10:49

Your Answer


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

Browse other questions tagged or ask your own question.