環論メモ(イデアルと剰余環)
整数環におけるmodと同じことを、任意の環でも考えることができる。
1:剰余環の定義
:環, :イデアル
に同値関係 を、
で定める。これが同値関係であることは、
,
ならば,
ならば
から分かる。
また、,のとき、
より,
よりだから、
商集合 の同値類に演算を
で定めると、well-definedになる。
演算が結合法則・分配法則を満たすことはもとの演算の結合法則・分配法則より明白で、
は零元、は単位元になるから、
は環になる。これをと書く。
2:剰余環のイデアルの構造
からへの環準同型をで定める.
は全射だから、と書ける。
を満たすのイデアル全体を,
のイデアル全体をとする。
補題1
(1)なら.
(2)なら.
(3) は の逆写像。
証明
(1)とする。このときを満たすが存在する。
だから、,.
よって加法とスカラー倍で閉じているからのイデアル。
(2) とする。このときだから、
, .
よって. よって加法とスカラー倍で閉じているからのイデアル。
またをのイデアルとすると、.
(3)は全射だから、.
とてもきれいな対応だ。集合論で綺麗に示せるのも楽しい。