# Is Thompson's group F residually finite?

Is Thompson's group F residually finite?

-

The answer is "no" -- the quickest way to see this appeals to the following nontrivial fact: the commutator subgroup of $F$, denoted by $F'$ as usual, is infinite and simple.
Armed with this, we argue as follows. Let $N$ be a normal subgroup in $F$ of finite-index; then $N\cap F'$ is going to be normal in $F'$ and of finite index in $F'$. Hence $N\cap F'=F'$, that is, $N$ contains $F'$. So the intersection of all finite-index normal subgroups of $F$ must contain $F'$. But if $F$ were residually finite then this intersection would only contain the identity element, and the result follows.