そのような群は同型を除いて一意に定まる(同じ集合を基底に持つどの二つの自由アーベル群も必ず群同型になる)。