October 9, 2014
加群論入門
雪本義人
目次
1. R-加群
1.1. R-加群の定義
1.2. 部分 R-加群と剰余 R-加群
1.3. R-加群の準同型
2. 直積と直和
2.1. 直積と直和の普遍性による定義
2.2. 直積と直和の存在
2.3. 直積と直和の一意性
3. 完全列
3.1. 完全列の定義
3.2. 完全列の性質
4. 分裂完全列
4.1. 全射と単射の特徴づけ
4.2. 準同型写像としての核と余核
4.3. 分裂完全列
5. 圏と関手
5.1. 圏
5.2. 関手
6. Hom 関手
6.1. Hom 関手
6.2. Hom 関手と完全列
6.3. 直積・直和と Hom 関手
7. テンソル積
7.1. テンソル積
7.2. テンソル積の普遍性
8. M ⊗ 関手
8.1. M ⊗ 関手
8.2. M ⊗ 関手と完全列
8.3. テンソル積と直和
9. 射影的加群と移入的加群
9.1. 射影的加群
9.2. 移入的加群
2
2
4
5
6
6
6
6
8
8
8
10
10
10
10
12
12
14
14
14
15
16
17
17
17
17
17
18
19
20
20
20
1
雪本義人
2
1. R-加群
1.1. R-加群の定義. 群 G の演算が交換法則にしたがうとき G は加群，可換群，あ
るいはアーベル群であるという．加群の演算は記号 + で表わされることが多い．
集合 R が環であるとは二つの内的演算加法と乗法が定義されていて次の条件をみ
たすこと：
(1) 加法に関して可換群
(2) 乗法に関して単位元1のある半群
(3) 分配法則 a(b + c) = ab + ac, (b + c)a = ba + ca ∀a, ∀b, ∀c ∈ R
加法の単位元を 0 で，乗法の単位元を 1 で表わす．
群の準同型の定義は既知とする．群から同一の群への準同型写像をその群の自己
準同型写像 (endomorphism) という．
定理 1.1. 加群 G の自己準同型写像全体の集合 End(G) は，f, g ∈ End(G) に対し
て和 f + g と積 f g を
(f + g)(x) = f (x) + g(x)
(f g)(x) = f (g(x))
によって定義すると，環になる．
この環 End(G) を加群 G の自己準同型環という．
環 R と加群 M に対して写像
∗:R×M →M
が次の条件をみたすとき ∗ を R の M への左作用とよぶ：
(1)
(2)
(3)
(4)
r ∗ (a + b) = r ∗ a + r ∗ b
(r + s) ∗ a = r ∗ a + s ∗ a
(rs) ∗ a = r ∗ (s ∗ a)
1∗a=a
ここで ∗ による (r, a) の像を中置記法によって r ∗ a と書いた．
左作用 ∗ : R × M → M が与えられたとき
(ϕr)(a) = r ∗ a
によって環準同型 ϕ : R → End(G) が得られる．逆に環準同型 ϕ : R → End(G) が
与えられたとき，同じ等式によって左作用 ∗ : R × M → M が得られる．環 R の左
作用をともなった加群を左 R-加群 (left R-module) という．なお記号 ∗ を省略し R
と M の元を並べて書くことが普通で，これからはそうする．
問 1.1. (1) R の加法単位元を 0R で，M の加法単位元を 0M で表わすとき
0R x = 0M
∀x ∈ M
を示せ．
(2) R の単位元 1R の加法的逆元を −1R で表わすとき，元 x ∈ M の M の加法に
関する逆元は (−1R )x に等しいことを示せ．
例 1. 単位左 R-加群は一つの元 0 だけからなる群で r0 = 0 となる．これもまた 0
で表わす．
1乗法単位元を仮定しない流儀もありますが，ここでは仮定します．
加群論入門
3
例 2. (単なる) 加群 M は次の演算によって Z-加群とみなすことができる：
n>0
x + · · · + x (n 個の和)
nx = 0
n=0
−((−n)x)
n<0
ここで x ∈ M, n ∈ Z．
例 3. R が体ならば R-加群は R 上のベクトル空間と同じものである．
例 4. R が環ならば左からの乗法を R の作用と考えることによって R を左 R-加群と
みなせる．同様に右 R-加群ともみなすことができるが，一般に両者の性質は異なる．
雪本義人
4
1.2. 部分 R-加群と剰余 R-加群. 加法群 M の部分集合 N が M の部分群であるとは
(1) 0 ∈ N
(2) x, y ∈ N ならば x + y ∈ N
(3) x ∈ N ならば −x ∈ N
がなりたつことであった．
左 R-加群 M の部分群 N が R の作用に関して閉じているとき，つまり
x ∈ N, r ∈ R ならば rx ∈ N
であるとき N は M の部分左 R-加群であるという．記号で N ≤ M と表わす．上
の条件 (3) は問 0.1(2) によって条件 (2) と M が左 R-加群であることから導かれる．
例 5. M が左 R-加群ならば，M は M の部分左 R-加群であり，M の加法単位元だ
けからなる部分集合 {0M } も M の部分左 R-加群である．後者を 0 と略記する．
例 6. 環 R の部分左 R-加群を R の左イデアルという．
(1) 偶数の全体は整数環 Z の左イデアルである (ここで左右を区別する必要はないけ
れど)．
(2) n 次正方行列の全体は環であって，n 次全行列環といい，Mn (K) と表わす．第
1 列以外の成分がすべて 0 であるような n 次正方行列の全体は Mn (K) の左イデア
ルである．
M を左 R 加群，N をの (単に群としての) 部分群とする．このとき剰余群 M/N
は R の作用に関して
r(m + N ) = (rm) + N ∀r ∈ R, ∀m ∈ M
であるとき，剰余左 R-加群と言われる．この条件は N が部分左 R-加群であること
と同値である．
左 R-加群 M の二つの部分左 R-加群 N1 , N2 に対して
N1 + N2 = {x1 + x2 | x1 ∈ N1 , x2 ∈ N2 }
と定義し，N1 , N2 の和という．
問 1.2. 和 N1 + N2 が M の部分左 R-加群であることを示せ．
一般に左 R-加群 M の部分左 R-加群 Ni (i ∈ I) に対して
∑
∑
Ni =
xi xi ∈ Ni
i∈I
i∈I, 有限和
と定義し， Ni (i ∈ I) の和という．
∑
問 1.3. 和 i∈I Ni が M の部分左 R-加群であることを示せ．
左 R-加群 M の部分左 R-加群 Ni (i ∈ I) に対して共通部分
∩
Ni
i∈I
は M の部分左 R-加群である．
問 1.4. このことを示せ．
加群論入門
5
左 R-加群 M の部分集合 S に対して S を含む最小の左 R-部分加群を S の生成
する左 R-部分加群といい [S] と記す．このとき
∑
∩
N
[S] =
Rs =
s∈S
S⊆N ≤M
が成り立つ．ただし Rs = {rs| r ∈ R}．
1.3. R-加群の準同型. 左 R-加群 M から左 R-加群 N への写像 f : M −→ N は次
の条件をみたすとき左 R-加群の準同型写像であるという：
(1) f (x + y) = f (x) + f (y) (群の準同型写像)
(2) f (rx) = rf (x)
注 1.1. 条件 (2) は，関数の表わし方を f (x) の代わりに (x)f とすれば
(rx)f = r(x)f
と結合法則の形になる．
例 7. N を左 R-加群 M の部分左 R-加群とするとき
(1) 包含写像 N −→ M は単射準同型写像である．
(2) 類別写像 M −→ M/N は全射準同型写像である．
左 R-加群の準同型写像 f : M −→ N に対して次の部分集合が定義される：
Ker f = {x ∈ M | f (x) = 0} ⊆ M
Im f = {f (x)| x ∈ M } ⊆ N
順に f の核 (kernel)，f の像 (image) とよぶ．
問 1.5. 上記の Ker f と Im f は部分左 R-加群であることを示せ．
左 R-加群の準同型写像 f : M −→ N に対して，f が単射 (1 対 1 写像) であるこ
とと Ker f = 0 は同値であり，f が全射 (上への写像) であることと Im f = N は同
値である．
定理 1.2. 左 R-加群の準同型写像 f : M −→ N が全単射であるとき f の逆写像
f −1 : N −→ M は左 R-加群の準同型写像である．
全単射である左 R-加群の準同型写像を左 R-加群の同型写像 (isomorphism) とい
う．左 R-加群 M, N の間に同型写像 M −→ N が存在することを M と N は (左
R-) 同型であると言い M ∼
= N と書く．同型は同値関係である．
例 8. 恒等写像 idM : M −→ M, x 7−→ x は同型写像である．
定理 1.3 (準同型定理). f : M −→ N が左 R-加群の準同型写像であるとき写像
M/ Ker f −→ Im f
x + Ker f 7−→ f (x)
は R-加群の同型写像である．
問 1.6. 準同型定理をもちいて次を示せ．
(1) K, H ≤ M のとき (H + K)/K ∼
= H/(H ∩ K)
(2) K ≤ L ≤ M のとき M/L ∼
= (M/K)/(L/K)
f
g
問 1.7. 集合と写像 A −→ B −→ C について次を示せ．
(1) 合成写像 gf が単射ならば f は単射．
(2) 合成写像 gf が全射ならば g は全射．
雪本義人
6
2. 直積と直和
2.1. 直積と直和の普遍性による定義. 左 R-加群 P と準同型写像 πi : P −→ Mi (i ∈
I) について
「任意の左 R-加群 N からの任意の準同型写像の組 fi : N −→ Mi に対して fi = πi ϕ
が成り立つような準同型写像 ϕ : N −→ P がただ 1 つ存在する．
」
という性質を直積の普遍性という．この性質をもつ (P, πi ) を左 R-加群 Mi の直積
(direct product) という．
左 R-加群 S と準同型写像 ιi : Mi −→ S (i ∈ I) について
「任意の左 R-加群 N への任意の準同型写像の組 fi : Mi −→ N に対して fi = ϕιi
が成り立つような準同型写像 ϕ : S −→ N がただ 1 つ存在する．
」
という性質を直和の普遍性という．この性質をもつ (S, ιi ) を左 R-加群 Mi の直和
(direct sum) という．
∏
2.2. 直積と直和の存在. Mi (i ∈ I) 左 R-加群とする．集合の直積 i∈I Mi と射影
∏
πj :
Mi −→ Mj (j ∈ I)
i∈I
の存在は既知であるとする．元 x, y ∈
∏
i∈I
Mi に対して
πj (x + y) = πj (x) + πj (y) ∀j ∈ I
によって和 x + y を定義し
πj (rx) = rπj (x) ∀j ∈ I
∏
によって R の左作用を定義すると， i∈I Mi は左 R-加群になり射影 πj は準同型写
像になる．この左 R-加群と準同型写像は直積の普遍性を持つ．
∏
元 x で有限個の j を除いて⊕
πj (x) = 0 であるものの全体は i∈I Mi の部分左 R加群である．この左 R-加群は i∈I Mi と表わされる．左 R-加群 Mj の元 x を，第
j 成分が x でそれ以外の成分が 0 の列にうつす写像
⊕
ιj : Mi −→
Mi
i∈I
は左 R-加群の準同型写像であって，を第
j 入射という．左 R-加群は
⊕
射 ιj は直和の普遍性を持つ（( i∈I Mi , ιj ) は Mi の直和である）．
⊕
i∈I
Mi と入
2.3. 直積と直和の一意性. 次の定理が示すように直積と直和は同型を除いて一意的
である．
定理 2.1. (P, πi ) と (P ′ , πi′ ) がともに 左 R-加群 Mi (i ∈ I) の直積ならば同型写像
f : P −→ P ′ が存在して πi = πi′ f が成り立つ．
定理 2.2. (S, ιi ) と (S ′ , ι′i ) がともに 左 R-加群 Mi (i ∈ I) の直和ならば同型写像
f : S −→ S ′ が存在して ι′i = f ιi が成り立つ．
注 2.1. 有限個の左 R-加群に対してはその直積と直和は同じ加群である．
Ni (i ∈ I) を M の部分加群とする．直和の普遍性によって得られる準同型写像
⊕
∑
f:
Ni −→ M, (xi ) 7−→
xi
について
∑
(1) Im f = Ni
∑
(2) Ker f = 0 ⇔ Nj ∩ i̸=j Ni = 0
∀j ∈ I
加群論入門
7
∑
⊕
したがって，すべての j ∈ I に対して Nj ∩ i̸=j Ni = 0 のときは
Ni と M の
∑
∑
部分加群
Ni は同型であって， Ni は直和である (入射は包含写像)．これを内部
直和という．
直積の普遍性によって得られる準同型写像
∏
g : M −→
M/Ni , x 7−→ (x + Ni )
について
∩
(1) Ker g = Ni
(2) I が有限集合のとき
∏
∩
Im g = M/Ni ⇔ Nj + i̸=j Ni = M
∀j ∈ I
雪本義人
8
3. 完全列
3.1. 完全列の定義. 加群と準同型写像の列
. . . −→ Cn+1 −→ Cn −→ Cn−1 −→ . . .
であって隣り合う二つの準同型写像の合成が 0 になるものを鎖複体 (chain complex)
といい，代数的位相幾何の研究対象になっている2．準同型写像の列の完全性はこれ
から派生した概念である．
左 R-加群の準同型写像の列
f
g
L −→ M −→ N
について gf = 0 であることと Im f ≤ Ker g は同値であるが，ちょうど
Im f = Ker g
のとき上の列は M において完全 (exact) であるという．
例 9. つぎの言い換えができる．
(1) 0 −→ M −→ 0 が M において完全 ⇔ M = 0
g
(2) 0 −→ M −→ N が M において完全 ⇔ g は単射準同型写像
f
(3) L −→ M −→ 0 が M において完全 ⇔ f は全射準同型写像
左 R-加群と準同型写像の列
. . . −→ Mn−1 −→ Mn −→ Mn+1 −→ . . .
は，端を除くすべての左 R-加群において完全であるとき，完全列 (exact sequence)
であるという．とくに
0 −→ M1 −→ M2 −→ M3 −→ 0
の形の完全列を短完全列 (short exact sequence) という．
例 10. 左 R-加群 M ，部分加群 N および N による剰余加群からできる列
0 −→ N −→ M −→ M/N −→ 0
は短完全列である．
3.2. 完全列の性質. いくつかの左 R-加群とその間の準同型写像を図によって表わし
たものを (左 R-加群の) 図式 (diagram) という．図式において，始域と終域が一致す
るような準同型写像あるいは準同型写像の合成のすべての対についてそれらが同一
の写像であるとき，その図式は可換 (commutative) であると言われる．
例 11. 図式
f
A −−−−→ B
py
gy
q
C −−−−→ D
は gf = qp のとき可換である．図式
2添え字が右ほど小さくなるのは幾何学的意味による．
加群論入門
9
L
fy
Z h
Z
Z
~
M −−−−→ N
g
は gf = h のとき可換である．
例 12. 図式
f1
f2
g1
g2
M1 −−−−→ M2 −−−−→ M3
h1 y
h2 y
h3 y
N1 −−−−→ N2 −−−−→ N3
において二つの正方形の (ような) 部分が可換 g1 h1 = h2 f1 , g2 h2 = h3 f2 ならば長方
形の (ような) 部分も可換である．実際 g2 g1 h1 = g2 h2 f1 = h3 f2 f1 となる．
次の命題は準同型写像が完全性によって関連付けられることを示す．
命題 3.1 (5 項補題). 可換図式
f1
f2
f3
f4
g1
g2
g3
g4
M1 −−−−→ M2 −−−−→ M3 −−−−→ M4 −−−−→ M5
h1 y
h2 y
h3 y
h4 y
h5 y
N1 −−−−→ N2 −−−−→ N3 −−−−→ N4 −−−−→ N5
の二つの行が完全であるとき
(1) h1 が全射かつ h2 , h4 が単射ならば h3 は単射．
(2) h5 が単射かつ h2 , h4 が全射ならば h3 は全射．
(3) h1 , h2 , h4 , h5 が同型写像ならば h3 は同型写像．
証明.(1) Ker h3 = 0 を示す．核 Ker h3 の元を x とすると h4 f3 (x) = g3 h3 (x) = 0
である．準同型写像 h4 が単射だから f3 (x) = 0, x ∈ Ker f3 = Im f2 となる．ゆえ
に x = f2 (y) となる y ∈ M2 が存在する．ここで g2 h2 (y) = h3 f2 (y) = h3 (y) = 0
だから h2 (y) ∈ Ker g2 = Im g1 ．したがって h2 (y) = g1 (z) となる z ∈ N1 が存在
する．さらに h1 が全射だから z = h1 (u) となる u ∈ M1 が存在する．このとき
h2 f1 (u) = g1 h1 (u) = g1 (z) = h2 (y) で，h2 が単射だから y = f1 (u)．したがって
x = f2 (y) = f2 f1 (u) = 0 である．
(2) x を N3 の任意の元とする．準同型写像 h4 は全射だから g3 (x) = h4 (y) となる
y ∈ M4 が存在する．そして h5 f4 (y) = g4 h4 (y) = g4 g3 (x) = 0 で h5 が単射だから，
f4 (y) = 0, y ∈ Ker f4 = Im f3 であって，y = f3 (z) となる z ∈ M3 が存在する．こ
のとき g3 h3 (z) = h4 f3 (z) = h4 (y) = g3 (x), x − h3 (z) ∈ Ker g3 = Im g2 ．ゆえに
x − h3 (z) = g2 (u) となる u ∈ N2 が存在する．さらに h2 が全射だから u = h2 (v)
となる v ∈ M2 が存在し h3 f2 (v) = g2 h2 (v) = g2 (u) = x − h3 (z) である．移項する
と x = h3 (z) + h3 f2 (v) = h3 (z + f2 (v)) となる．ゆえに N3 = Im h3 である．
(3) これは (1),(2) からすぐ分かる．□
雪本義人
10
4. 分裂完全列
4.1. 全射と単射の特徴づけ. 左 R-加群の準同型写像
f : M −→ N
に対して核 Ker f と余核 Coker f を次の左 R-加群
Ker f = {x ∈ M | f (x) = 0}
Coker f = N/{f (x)| x ∈ M }
と定義した．
• f が単射 ⇔ 準同型写像 x : X → M が f x = 0 ならば x = 0
• f が全射 ⇔ 準同型写像 x : N → X が xf = 0 ならば x = 0
4.2. 準同型写像としての核と余核. 準同型写像 k : K −→ M は次の条件を満たすと
き f の核であるという：
(1) f k = 0．
(2) f h = 0 となる任意の h : X −→ M に対して h = kϕ となる ϕ : X −→ K
がただ一つ存在する．
こう定義すると
• 包含写像 Ker f → M は f の核である．
• 準同型写像の核は単射準同型写像である．
• f の核は同型を除いてただ一つに決まる．
準同型写像 c : N −→ C は次の条件を満たすとき f の余核であるという：
(1) cf = 0．
(2) hf = 0 となる任意の h : N −→ X に対して h = ϕc となる ϕ : C −→ X が
ただ一つ存在する．
こう定義すると
• 準同型写像 N → Coker f は f の余核である．
• 準同型写像の余核は全射準同型写像である．
• f の余核は同型を除いてただ一つに決まる．
定理 4.1. 左 R-加群の列
f
g
0 −−−−→ L −−−−→ M −−−−→ N −−−−→ 0
について次の条件は同値である：
(1) f は単射，g は全射 そして Im f = Ker f
(2) f は単射，g は f の余核
(3) g は全射，f は g の核
4.3. 分裂完全列. 左 R-加群の単射準同型写像 f : L −→ M は hf = 1L となるよう
な準同型写像 h : M −→ L が存在するとき分裂単射準同型という．このとき
• h は全射．
• f h は End(M ) の冪等元．
• Coker f は M の直和因子への射影．
左 R-加群の全射準同型写像 g : M −→ N は gk = 1N となるような準同型写像
k : N −→ M が存在するとき分裂全射準同型写像という．このとき
• k は単射．
• kg は End(M ) の冪等元．
• Ker g は M の直和因子への入射．
加群論入門
11
定理 4.2. 左 R-加群の完全列
f
g
0 −−−−→ L −−−−→ M −−−−→ N −−−−→ 0
において f が分裂単射であることと g が分裂全射であることは同値である．
雪本義人
12
5. 圏と関手
5.1. 圏. 圏論 (category theory3) は数学を矢印によって統一的にとらえようとする試
みである．圏 (category) とは対象 (object) の集まりと射 (morphism,arrow) の集まり
から成り立ち次をみたすものである：
• 射 f には始域 (source,domain) という対象と終域 (target,codomain) という
f
対象が割り当てられる．射 f の始域が A で終域が B であることを A −→ B
と表わし，f は A から B への射であるという．
• 対象 A には恒等射 (identity) という射が割り当てられる．対象 A の恒等射
を idA あるいは 1A と表わす．
f
g
gf
• 射 A −→ B と射 C −→ D から，B = C のときにかぎり，射 A −→ D が
合成できる．
f
• 任意の A −→ B に対して f idA = idB f = f ．
f
g
h
• 任意の A −→ B −→ C −→ D に対して h(gf ) = (hg)f ．
圏 C の対象 A から対象 B への射の全体を C(A, B) と書く．このほかにもいろいろ
な表わし方がある．
例 13. 対象が集合で射が写像の圏 Set．
例 14. 対象が順序集合で射が順序を保つ写像の圏．
例 15. 対象が位相空間で射が連続写像の圏．
例 16. 対象が群で射が群準同型の圏．
例 17. 対象が環で射が環準同型の圏．
例 18. 対象が左 R-加群で射が左 R-加群の準同型の圏 R-M od．
f
g
射 A −→ B に対して gf = idA , f g = idB となる射 B −→ A が存在するとき f
は同型射 (isomorphism) であるという．
命題 5.1. 恒等射は同型射である．
射 f は (射 x, y に対して f x = f y ならば x = y) であるとき単射 (monomorphism)
といい，(射 x, y に対して xf = yf ならば x = y) であるとき全射 (epimorphism) と
いう．
f
g
命題 5.2. 射 A −→ B −→ C について
(1) f と g が単射ならば gf は単射．
(2) f と g が全射ならば gf は全射．
(3) gf が単射ならば f は単射．
(4) gf が全射ならば g は全射．
命題 5.3. 同型射は単射かつ全射である．
例 19. 集合と写像の圏において単射と全射はそれぞれ一対一写像と上への写像であ
ることと同値である．
例 20. 左 R-加群と準同型写像の圏において単射と全射はそれぞれ一対一写像と上へ
の写像であることと同値である．
次の例は全射であっても上への写像とは限らないことと単射かつ全射であっても
同型射とは限らないことを示している．
3哲学の category theory は範疇論と訳される．
加群論入門
13
例 21. 環と環準同型写像の圏4において包含写像 Z −→ Q は単射であるのみならず全
射である．単射であることは集合として単射であることから従う．全射であることを示
す．環準同型写像 ϕ, ψ : Q −→ R(任意の環) を全ての n ∈ Z に対して ϕ(n) = ψ(n) で
あるとすると，n ̸= 0 について，逆元の一意性から ϕ( n1 ) = ϕ(n)−1 = ψ(n)−1 = ψ( n1 )
である．等式 ϕ( n1 ) = ψ( n1 ) に ϕ(m) = ψ(m) (m ∈ Z) を辺々掛けて，任意の有理数
m
m
m
n に対する等式 ϕ( n ) = ψ( n ) を得る．
4環は単位元を持つことと環準同型写像によって単位元は単位元に写されることを仮定する．
雪本義人
14
5.2. 関手. 圏 C から圏 D へ対象の対応 F と射の対応 F があって5
f
F (f )
f
F (f )
• A −→ B ならば F (A) −→ F (B)
• F (idA ) = idF (A)
• F (gf ) = F (g)F (f )
であるとき F は C から D への関手 (functor) あるいは共変関手 (covariant functor)
であるという．上の条件の代わりに
• A −→ B ならば F (A) ←− F (B)
• F (idA ) = idF (A)
• F (gf ) = F (f )F (g)
であるとき F は C から D への反変関手 (contravariant functor) であるという．
例 22. 圏 A が基礎的な圏 B にある構造を付加してできる圏であるとき，付加した
構造を忘却 (無視) することは関手になる．これを A から B への忘却関手 (forgetful
functor) という．したがって「忘却関手」という言葉はいろいろな圏の間の関手の総
称である．
位相空間を単なる集合と思い，連続写像を単なる写像だと思うことは，位相空間
の圏から集合の圏へ忘却関手である．
左 R-加群の圏において R の作用を無視することは，左 R-加群の圏から加群の圏
へ忘却関手である．
6. Hom 関手
6.1. Hom 関手. A を圏 C の対象とする．
f
C の射 X −→ Y に対して写像
C(A, X) −→ C(A, Y )
g 7−→ f g
を C(A, f ) で表わす．
圏 C から集合の圏 Set へ，C の対象 X に対して
X 7−→ C(A, X)
f
C の射 X −→ Y に対して
(
f
(X −→ Y ) 7−→
C(A,f )
)
C(A, X) −→ C(A, Y )
f
と定義すると C(A, ) は関手になる．C の射 X −→ Y に対して写像
C(Y, A) −→ C(X, A)
g 7−→ gf
を C(f, A) で表わす．
圏 C から集合の圏 Set へ，C の対象 X に対して
X 7−→ C(X, A)
f
C の射 X −→ Y に対して
f
(X −→ Y ) 7−→
(
C(f,A)
C(Y, A) −→ C(X, A)
5対象と射の対応に同じ記号を使い文脈によって区別することが多い．
)
加群論入門
15
と定義すると C( , A) は反変関手になる．
6.2. Hom 関手と完全列. C が左 R-加群の圏のとき C(A, )，C( , A) の代わりにそ
れぞれ Hom(A, )，Hom( , A) と書くことにする．M, N が左 R-加群であるとき
f, g ∈ Hom(M, N ) に対して和 f + g を
(f + g)(x) = f (x) + g(x)
によって定義すると
(f + g)(x + y) = f (x + y) + g(x + y) = (f (x) + f (y)) + (g(x) + g(y))
= (f (x) + g(x)) + (f (y) + g(y)) = (f + g)(x) + (f + g)(y)
(f + g)(rx) = f (rx) + g(rx) = rf (x) + rg(x) = r(f (x) + g(x)) = r(f + g)(x)
であるから f + g ∈ Hom(M, N ) である．この加法について
(1) 零写像 0(x) = 0 が単位元
(2) (−f )(x) = −f (x) で定義される準同型写像 −f が f の逆元
(3) ((f +g)+h)(x) = (f (x)+g(x))+h(x) = f (x)+(g(x)+h(x)) = (f +(g+h))(x)
だから (f + g) + h = f + (g + h) (結合法則)
(4) (f + g)(x) = f (x) + g(x) = g(x) + f (x) = (g + f )(x) だから f + g = g + f
(交換法則)
となるから Hom(M, N ) はアーベル群である．
例 23. m, n が自然数であるとき
Hom(Z/Zm, Z/Zn) ∼
= Z(n/(m, n))/Zn ∼
= Z/Z(m, n)
ただし (m, n) は m と n の最大公約数である．
例 24. m が自然数であるとき
Hom(Z/Zm, Z) = 0
定理 6.1. 左 R-加群の列
f
g
0 −−−−→ L −−−−→ M −−−−→ N −−−−→ 0
完全であるならば
(1) 任意の左 R-加群 A に対して
Hom(A,f )
Hom(A,g)
0 −−−−→ Hom(A, L) −−−−−−→ Hom(A, M ) −−−−−−→ Hom(A, N )
はアーベル群の完全列である．
(2) 任意の左 R-加群 A に対して
Hom(g,A)
Hom(f,A)
0 −−−−→ Hom(N, A) −−−−−−→ Hom(M, A) −−−−−−→ Hom(L, A)
はアーベル群の完全列である．
注 6.1. 一般に写像 Hom(A, g) と Hom(f, A) は全射でない．
雪本義人
16
∏
∏
6.3. 直積・直和と Hom 関手. 直積 Ni の普遍性によって
(fi ) ∈ Hom(M, Ni )
∏
に対し fi = πi f ∀i をみたす準同型写像 f ∈ Hom(M, Ni ) がただ一つ存在する．
この f を F ((fi )) で表わすとき
定理 6.2. 写像
F :
∏
Hom(M, Ni ) −→ Hom(M,
∏
Ni )
はアーベル群の同型写像である．
証明. (fi ), (gi ) ∈ Hom(M, Ni ) そして f = F ((fi )), g = F ((gi )) とすると fi + gi =
πi f + πi g = πi (f + g) ∀i だから
F ((fi ) + (gi )) = F ((fi + gi )) = f + g = F ((fi )) + F ((gi ))
となる．ゆえに F は準同型写像である．
∏
任意の f ∈ Hom(M, Ni ) に対して fi = πi f と定めると F ((fi )) = f となるか
ら F は全射である．また
f = 0 ならば∏
fi = 0 ∀i となるから F は単射である．□
⊕
直和
Mi の普遍性によって
(f
)
∈
Hom(Mi , N ) に対し fi = f ιi ∀i をみたす
i
⊕
準同型写像 f ∈ Hom( Mi , N ) がただ一つ存在する．この f を G((fi )) で表わす
とき
定理 6.3. 写像
G:
∏
⊕
Hom(Mi , N ) −→ Hom(
Mi , N )
はアーベル群の同型写像である．
証明は上と同様にできる．
加群論入門
17
7. テンソル積
7.1. テンソル積. M を右 R-加群，N を左 R-加群とする．直積集合 M × N を基底
とする自由加群を F とし，
(x1 + x2 , y) − (x1 , y) − (x2 , y)
x1 , x2 ∈ M, y ∈ N
(x, y1 + y2 ) − (x, y1 ) − (x, y2 )
x ∈ M, y1 , y2 ∈ N
(xr, y) − (x, ry)
x ∈ M, y ∈ N, r ∈ R
の形の元で生成される F の部分加群を G として，剰余加群 F/G を M, N のテン
ソル積 (tensor product) といい，記号で M ⊗ N あるいは M ⊗R N と表わす．この
とき基底 (x, y) ∈ M × N の像を x ⊗ y と表わす．集合 {x ⊗ y| x ∈ M, y ∈ N } は
M ⊗ N の生成系である．
作り方から M ⊗ N では関係式
(x1 + x2 ) ⊗ y = x1 ⊗ y + x2 ⊗ y
x ⊗ (y1 + y2 ) = x ⊗ y1 + x ⊗ y2
xr ⊗ y = x ⊗ ry
が成り立つ．
問 7.1. M ⊗ N において 0 ⊗ y = 0 と x ⊗ 0 = 0 を示せ．
7.2. テンソル積の普遍性. 右 R-加群 M と左 R-加群 N の直積 M × N から加群 A
への写像 ϕ が条件
ϕ(x1 + x2 , y) = ϕ(x1 , y) + ϕ(x2 , y)
ϕ(x, y1 + y2 ) = ϕ(x, y1 ) + ϕ(x, y2 )
ϕ(xr, y) = ϕ(x, ry)
をみたすとき ϕ は平衡写像 (balanced mapping) であるという．直積 M × N から加
群 M ⊗ N への写像 ϕ : (x, y) 7−→ x ⊗ y は平衡写像である．
定理 7.1. ϕ : M × N −→ M ⊗ N, (x, y) 7−→ x ⊗ y を上記の平衡写像とする
とき，写像 ψ : M × N −→ A が平衡写像ならば ψ = ϕf となる加群準同型写像
f : M ⊗ N −→ A がだだ一つ存在する．
8. M ⊗ 関手
8.1. M ⊗ 関手. M を右 R-加群とする．M ⊗ が左 R-加群の圏からアーベル群の圏
への関手であることを示す． 対象については左 R-加群 N に M ⊗ N を対応させる．
次に f : N1 −→ N2 を左 R-加群の準同型写像とするとき合成写像
M × N1
1M ×f y
ϕ2
M × N2 −−−−→ M ⊗ N2
は平衡写像だから，テンソル積の普遍性によって図式
ϕ1
M × N1 −−−−→ M ⊗ N1
1M ×f y
ψy
ϕ2
M × N2 −−−−→ M ⊗ N2
雪本義人
18
が可換となるような準同型写像 ψ がただ一つ存在する．ここで ϕ1 , ϕ2 は自然な平
衡写像である．生成元の対応を記すと ψ : x ⊗ y 7−→ x ⊗ f (y) である．この ψ を
1M ⊗ f ，あるいは対象の記法にあわせて M ⊗ f と記す．
f
g
二つの準同型写像 N1 −→ N2 −→ N3 に対して図式
ϕ1
M × N1 −−−−→ M ⊗ N1
1M ×f y
1M ⊗f y
ϕ2
M × N2 −−−−→ M ⊗ N2
1M ×g y
1M ⊗g y
ϕ3
M × N3 −−−−→ M ⊗ N3
を作ると，二つの小長方形 (小正方形?) が可換であることから大長方形も可換になり
1M ⊗ (gf ) = (1M ⊗ g)(1M ⊗ f )
であることがわかる．恒等写像 1N : N −→ N についても容易に
1M ⊗ 1N = 1M ⊗N
がわかるから M ⊗ は左 R-加群から加群への関手である．
8.2. M ⊗ 関手と完全列. 次はテンソル積の最重要な性質の一つである．
定理 8.1. M を右 R-加群とする．左 R-加群の系列
f
g
N1 −−−−→ N2 −−−−→ N3 −−−−→ 0
が完全ならば
1M ⊗f
1M ⊗g
M ⊗ N1 −−−−→ M ⊗ N2 −−−−→ M ⊗ N3 −−−−→ 0
は完全である．
証明. まず準同型写像 1M ⊗ f の余核 (M ⊗ N2 )/ Im(1M ⊗ f ) が M ⊗ N3 と同型で
あることを示す．ここでは I = Im(1M ⊗ f ) と略記することにする．
合成写像が (1M ⊗g)(1M ⊗f ) = 1M ⊗(gf ) = 1M ⊗0 = 0 であるから h(x⊗y +I) =
x ⊗ g(y), x ∈ M, y ∈ N2 であるような準同型写像 h : (M ⊗ N2 )/I −→ M ⊗ N3 が
定義される．
写像 ϕ : M × N3 −→ (M ⊗ N2 )/I を，y ∈ N3 に対し g(z) = y となる z ∈ N2 (g
が全射だから存在する) を用いて，x × y 7−→ x ⊗ z + I によって定義することができ
る．なぜなら g(z) = g(w) = y (z, w ∈ N2 ) ならば x ⊗ z − x ⊗ w = x ⊗ (z − w) ∈ I
だから．写像 ϕ は平衡写像でもあるので，(1M ⊗ g)k = h をみたす準同型写像
k : M ⊗ N3 −→ (M ⊗ N2 )/I が存在し k(x ⊗ y) = x ⊗ z + I が成り立つ．
生成元の像を考えると kh と hk はそれぞれ M ⊗ N3 と (M ⊗ N2 )/I の恒等
写像であることがわかる．ゆえに M ⊗ N3 ∼
= (M ⊗ N2 )/I である．したがって
Ker(1M ⊗ g) = Im(1M ⊗ f ) であることと 1M ⊗ g が全射であることを得る．□
定理 8.2. R を環，M を右 R-加群とするとき平衡写像 M ×R −→ M, (m, r) 7−→ mr
から導かれる準同型写像6
f : M ⊗ R −→ M, m ⊗ r 7−→ mr
は同型写像である．
6右 R-加群の準同型写像であることもいえますが，いまは単に加群の準同型写像の意味です．
加群論入門
19
∑
証明
m だから f ∑
は全射である．f∑
( mi ⊗ri ) =
∑ . 任意の m ∈ M
∑ に対して f (m⊗1) =∑
mi ri だから，f ( mi ⊗ri ) = 0 ならば mi ⊗ri = (mi ri ⊗1) = ( mi ri )⊗1 =
0 となるので f は単射である．□
例 25. a, b を自然数とする．左 Z-加群の完全列
×a
Z −−−−→ Z −−−−→ Z/Za −−−−→ 0
に関手 Z/bZ ⊗ を適用すると，上の定理から，完全列
Z/bZ ⊗(×a)
Z/bZ −−−−−−−−→ Z/bZ −−−−→ Z/bZ ⊗ Z/Za −−−−→ 0
が得られる．この完全列において Z/bZ ⊗ (×a) の像は (aZ + bZ)/bZ = (a, b)Z/bZ
だから
Z/bZ ⊗ Z/Za ∼
= Z/(a, b)Z
特に a と b が互いに素であるときは
Z/bZ ⊗ Z/Za = 0
8.3. テンソル積と直和. 同型
M⊗
(
⊕
)
Ni
∼
=
⊕
(M ⊗ Ni )
i∈I
i∈I
を示す．
定理 8.3. M を右 R-加群，Ni を左 R-加群とし，自然な入射 Ni −→
表わすとき，写像の組
)
(⊕
1M ⊗ιi
M ⊗ Ni −−
−−→ M ⊗
i∈I Ni
⊕
Ni を ιi で
は M ⊗ Ni の直和である．
証明. 写像の組 1M ⊗ ιi が直和の普遍性をもつことを示す．任意の準同型写像 fi :
M ⊗ Ni −→ X が与えられたとき，写像
(
)
⊕
ϕ: M×
Ni −→ X
i∈I
を
ϕ(x, (ui )i∈I ) =
∑
fi (x ⊗ ui )
i∈I
によって定義すると，ϕ は平衡写像である．テンソル積に関する普遍性によって
ϕか
⊕
ら準同型写像 f : M ⊗ ( Ni ) −→ X が導かれ
∑
f (x ⊗ (ui )i∈I ) =
fi (x ⊗ ui )
i∈I
および fi = f ◦ (1M ⊗ ιi ) ∀i ∈ I が成り立つ．
準同型写像 f が一意的であることは，x ⊗ y (x ∈ M, y ∈ Im ιi ) の形の元全体が
M ⊗ (⊕Ni ) の一つの生成系をなすことから，その像に注目するとわかる．□
雪本義人
20
9. 射影的加群と移入的加群
9.1. 射影的加群. 左 R-加群 M は，任意の左 R-加群の短完全列
f
g
0 −−−−→ A −−−−→ B −−−−→ C −−−−→ 0
に対して
Hom(M,f )
Hom(M,g)
0 −−−−→ Hom(M, A) −−−−−−−→ Hom(M, B) −−−−−−−→ Hom(M, C) −−−−→ 0
も左 R-加群の短完全列であるとき，射影的 (projective) であるという．下の列で左
の部分はつねに完全である (定理 6.1(1)) からこの条件は，任意の左 R-加群の全射
g
B −−−−→ C
に対して
Hom(M,g)
Hom(M, B) −−−−−−−→ Hom(M, C)
が全射であることと同値である．さらにこのことは図式
M
ϕ
ψ
y
=g
B −−−−→ C
において g が全射のとき任意の ϕ に対して上を可換とするような ψ が存在すること
と同値．
定理 9.1. 次は同値
⊕
(1)
i∈I Mi は射影的．
(2) すべての i ∈ I に対して Mi は射影的．
定理 9.2. 左 R-加群として R は射影的である．
問 9.1. Z-加群として Z/nZ (n ∈ N) は射影的でないことを示せ．
定理 9.3. 次は同値
(1) M は射影的である．
(2) M はある自由加群の直和因子である．
9.2. 移入的加群. 左 R-加群 M は，任意の左 R-加群の短完全列
f
g
0 −−−−→ A −−−−→ B −−−−→ C −−−−→ 0
に対して
Hom(g,M )
Hom(f,M )
0 −−−−→ Hom(C, M ) −−−−−−−→ Hom(B, M ) −−−−−−−→ Hom(A, M ) −−−−→ 0
も左 R-加群の短完全列であるとき，移入的 (入射的, 単射的,injective) であるという．
下の列で左の部分はつねに完全である (定理 6.1(2)) からこの条件は，任意の左 R-加
群の単射
f
A −−−−→ B
に対して
Hom(f,M )
Hom(B, M ) −−−−−−−→ Hom(A, M )
が全射であることと同値である．さらにこのことは図式
加群論入門
21
f
A −−−−→ B
ϕy
ψ
=
M
において f が単射のとき任意の ϕ に対して上を可換とするような ψ が存在するこ
とと同値．
定理 9.4. 次は同値
∏
(1) i∈I Mi は移入的．
(2) すべての i ∈ I に対して Mi は移入的．
∏
証明. (2) ⇒ (1). f : A −→ B を単射とする．Hom(A, i∈I Mi ) の任意の元を g
とすると，各 i に対して，Mi が移入的であるから πi g = hi f であるような hi ∈
Hom(B, M
∏i ) が存在する．このとき直積の普遍性によって πi h = hi となる h ∈
Hom(B, i∈I Mi ) が存在する．準同型写像 g と hf は πi g = hi f = πi hf の普遍写
像であるが，その一意性から g = hf である．ゆえに
Hom(f,M )
Hom(B, M ) −−−−−−−→ Hom(A, M )
は全射である．□
© Copyright 2024 ExpyDoc
