# Tag Archives: residually finite

## Explicit example showing non-residual finiteness

This is mostly a continuation on the group I gave in the last post, which is given by the presentation $$G = \langle a,t ~|~ t^{-1}a^2t = a^3\rangle.$$ At the risk of beating a dead horse, I proved that the homomorphism $f:G\to G$ given on generators by $f(t) = t$ and $f(a) = a^2$ is […]

## What is a residually finite group?

We say that a group $G$ is residually finite if for each $g\in G$ that is not equal to the identity of $G$, there exists a finite group $F$ and a group homomorphism $$\varphi:G\to F$$ such that $\varphi(g)$ is not the identity of $F$. The definition does not change if we require that $\varphi$ be […]