The fundamental theorem of finitely generated abelian groups states that a finitely generated Abelian group is the direct sum of a free Abelian group of finite rank and a finite Abelian group, each of which are unique up to isomorphism.
