Finitely generated abelian group (source code)

= Finitely generated abelian group
{wiki}

A finitely generated abelian group has a finite <generating set>. Equivalently, it is the <cokernel> of a homomorphism between finitely generated free abelian groups.