free Abelian group