1の加法群における位数から考えてみる。