# Free implies residually finite

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., free group) must also satisfy the second group property (i.e., residually finite group)

View all group property implications | View all group property non-implications

Get more facts about free group|Get more facts about residually finite group

## Statement

Any free group is a residually finite group, i.e., for every non-identity element of a free group, there is a normal subgroup of finite index in the whole group not containing that element.

## Related facts

- Free implies residually nilpotent
- Free implies residually solvable
- Free abelian implies residually finite
- Finitely generated abelian implies residually finite

## Proof

### Proof idea

The idea is to use the fact that finite groups are big enough to accommodate a particular word evaluating to a non-identity element.

### Proof details

**Given**: A free group with freely generating set . A non-identity element .

**To prove**: There exists a normal subgroup of such that is a finite group and .

**Proof**: We write:

as a reduced form expression for in terms of . Thus, for each , either and . We now define a function where is the symmetric group on the set :

- is the identity element if is not equal to any of the s or their inverses.
- Suppose is the set of s such that and is the set of s such that . Then, set as any permutation that sends each to , and for each , sends to . This is well-defined since an element and its inverse cannot occur adjacently in the reduced form expression for a word.

We have thus obtained a function . This extends uniquely to a homomorphism from to , because is free. Moreover, under this homomorphism, we see that the image of sends to , and is not the identity element. The kernel of this homomorphism is thus a normal subgroup of with finite quotient group (a subgroup of ). Moreover, the kernel does not contain , because the permutation induced by sends 1 to (as can be verified by noting that each sends to , by construction).