剰余環の単元のなす群の構造
$ p
を素数とするとき、環
$ \bold{Z}/{p^{\nu}}\bold{Z}
の単元のなす乗法群
$ U(\bold{Z}/p^{\nu}\bold{Z})
の構造は次の通りになる。
$ p \ne 2
または
$ p = 2, \nu = 1
ならば巡回群
$ p = 2, \nu \le 2
ならば
$ \bold{Z}/2\bold{Z}
巡回群
#Review_Queue
イデアル
と
剰余環
の知識が必要