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>.