Free abelian group (source code)

= Free abelian group
{wiki}

A free abelian group has a basis over $\mathbb Z$ and is isomorphic to a direct sum of copies of $\mathbb Z$.