Up to
なる形に書けるから、Z は 1 の生成する無限巡回群 〈1〉 になる。特に Z は同型の違いを除いて唯一の無限巡回群である。