読者です 読者をやめる 読者になる 読者になる

超幻日記

素粒子、量子論、宇宙論のことを辺境にいる一人の視点から改めて眺めてみます。単なる勉強帳になるかも。。

剰余環  環はイデアルで割れる

剰余環 - Wikipedia

商環ともいう。環はイデアル分を足しても同値とみなす同値類によって類別されて、
つまり、
a〜bをb-a∈Iとして、[a] = a + I というような元をつくる。[a] + [b] = [a + b] みたいな自然な感じに演算が定義できて環になっている。

いわば、環の中のイデアルをI=0につぶしたものともいえる。

ちなみに
割るイデアルが極大イデアルだと体になる(剰余体という)。
割るイデアルが素イデアルだと整域になる。つまり剰余環にゼロ因子がない。