# Finitely generated abelian 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., finitely generated abelian 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 finitely generated abelian group|Get more facts about residually finite group

## Statement

Any finitely generated abelian group (i.e., an abelian group that is also a finitely generated group) is a residually finite group -- for every non-identity element, there is a normal subgroup of finite index not containing it.

## Facts used

1. Structure theorem for finitely generated abelian group
2. The infinite cyclic group is residually finite.
3. Residual finiteness is direct product-closed

## Proof

### Proof using given facts

By fact (1), any finitely generated abelian group is a direct product of copies of the infinite cyclic group and a finite group. The infinite cyclic group is residually finite (fact (2)) and the finite group is residually finite, so by fact (3), the whole group is residually finite.