環上の加群の二通りの定義と同値性
以下、環といえば乗法単位元をもつものとする. また、左加群を指して加群と言っている.
定義(A)は加群の実態がわかりやすい. 定義(B)はより少ない文字数で同じ概念が定義できる. あとかっこいい. 枠青いし. それでは、以下でこの二つの定義が定める加群が同じものであることを示そう.
まず(B)→(A)、すなわち を(B)の意味で 加群とした時に(A)の意味でも 加群であることを示す.
環準同型 を とする.
と に対し として を定める. 以降、記号が煩雑になるのを避けるために などを と書く. これから(A1)-(A4)を確かめる.
(A1)
∵は環準同型
(A2)
∵
∵ 上の積の定義
∵ は環準同型
(A3)
∵ は環準同型
∵ 上の和の定義
(A4)
∵ は群準同型
次に、逆に(A)→(B)を示す.
を、各 に対して として定める. これはつまり、(B)→(A)のときとは逆に で を定義しているだけである.
まず、 がちゃんと に属していることを確認する.
∵(A4)
よって は群準同型であるから確かに である.
次に、 が環準同型であることを確かめる.
・ ∵(A1) より
・
∵(A3)
∵ 上の和の定義
よって
・
∵(A2)
∵
∵ 上の積の定義
よって
以上より、(A),(B)が定める加群は同一である.