Concept

Free abelian group