Every finitely generated free group is a residually finite group. For , the ping-pong lemma embeds it into , and reduction modulo a prime in an integral matrix group separates each nonidentity element in a finite quotient.
Articles by others on the same topic
There are currently no matching articles.