Abelian group
抽象代数学において、自由アーベル群 (free abelian group) あるいは自由 Z-加群 (free Z-module) とは基底をもったアーベル群のことを言う。