自由交换群

free Abelian group, free commutative group...