§E6.17入射加群

証明.条件 (a)$\Leftrightarrow$(b)を示す。§E6.13 命題 4.1 (2)により、表示した列の右端以外は常に完全である。右端の完全性は$i^*$の全射性、すなわち$i$に沿う延長の存在である。任意の単射$i\colon A\to B$は短完全列$0\to A\to B\to B/i(A)\to0$の左の射になるので、両条件は同値である。

条件 (a)$\Rightarrow$(c)を示す。単射$j\colon E\to X$に沿って$\id_E$を延長すれば、$r\circ j=\id_E$を満たす$r\colon X\to E$を得る。

条件 (c)$\Leftrightarrow$(d)を示す。単射$j\colon E\to X$に対する短完全列$0\to E\to X\to X/j(E)\to0$に分裂補題§E6.9 命題 3.2を適用すると、$j$のレトラクションの存在と、$j(E)$が$X$の直和因子であることは同値である。$j$が誘導する同型$E\cong j(E)$によって、両条件が同値であることを得る。

条件 (c)$\Rightarrow$(a)を示す。部分加群$A\subseteq B$と$R$-線形写像$f\colon A\to E$を取り、

と置く。$L$は線形写像$a\mapsto(f(a),-a)$の像なので部分加群である。商写像と標準包含の合成を$j\colon E\to X$、$k\colon B\to X$とすると、$j\circ f=k|_A$である。$j(e)=0$ならば$(e,0)=(f(a),-a)$となる$a\in A$が存在し、$a=0$、$e=0$となる。したがって$j$は単射であり、仮定からレトラクション$r\colon X\to E$が存在する。合成$r\circ k$は$f$の延長である。一般の単射$i\colon A\to B$には、部分加群$i(A)$上の写像$f\circ i^{-1}$にこの構成を適用する。▨

証明.(1)を示す。単射$i\colon A\to B$と$f\colon A\to\prod_jE_j$を取る。各成分写像$f_j\colon A\to E_j$に対して延長$g_j\colon B\to E_j$を選ぶ。写像$g(b)=(g_j(b))_{j\in J}$は線形であり、各成分で$g_j\circ i=f_j$なので$g\circ i=f$である。$J=\varnothing$では直積は零加群であり、零写像が延長を与える。

(2)を示す。入射加群$E$の直和因子$D$の包含を$u\colon D\to E$、射影を$v\colon E\to D$とする。単射$i\colon A\to B$と$f\colon A\to D$に対し、$u\circ f$の延長$h\colon B\to E$を取ると、$v\circ h$は$f$の延長である。▨

証明. 右$R$-加群の射と左$R^{\mathrm{op}}$-加群の射は同じ加法写像である。単射であることも合成の等式も変わらないので、両方の延長性は同じ条件である。▨

証明. 必要性を示す。$E$が入射加群ならば、左イデアルの包含$I\hookrightarrow R$に沿って任意の$f\colon I\to E$を延長することができる。

十分性を示す。部分加群$A\subseteq B$と$R$-線形写像$f\colon A\to E$を取る。$A\subseteq A'\subseteq B$を満たす部分加群$A'$と、$f'|_A=f$を満たす線形写像$f'\colon A'\to E$の対の集合を考える。

と定めると半順序になる。この集合は$(A,f)$を含む。空でない鎖の定義域の和集合は部分加群であり、鎖に属する写像は共通の定義域で一致するので、和集合上に線形写像を定める。この対は鎖の上界である。空の鎖は$(A,f)$を上界にもつ。Zorn の補題§E1.20 定理 2.1 (3)により極大な対$(A',f')$が存在する。

$A'\ne B$と仮定し、$x\in B\setminus A'$を取る。

は、加法と左からの乗法で閉じた左イデアルである。写像$h\colon I\to E$、$h(r)=f'(rx)$は左$R$-線形なので、仮定から線形写像$\widetilde h\colon R\to E$へ延長する。二つの線形写像

を考える。$(a,r)\in\ker q$ならば$rx=-a\in A'$であるから$r\in I$であり、

となる。したがって$\ker q\subseteq\ker t$であり、商の普遍性から$t$は$q$の像$A'+Rx$上の線形写像を誘導する。この写像は$f'$を延長する。$x\notin A'$なので$A'\subsetneq A'+Rx$となり、$(A',f')$の極大性に反する。よって$A'=B$である。一般の単射$i\colon A\to B$には$i(A)$上の写像$f\circ i^{-1}$を延長すればよい。▨

証明. 入射$R$-加群$E$、$r\ne0$および$d\in E$を取る。整域なので$rR\to E$、$ra\mapsto ad$は線形写像として定まる。入射性によって延長$g\colon R\to E$が存在し、$rg(1)=g(r)=d$となる。▨

証明. 入射ならば命題 3.2により可除である。逆に可除アーベル群$D$とイデアル$I\subseteq\Z$からの準同型$f\colon I\to D$を取る。$I=0$ならば零写像が延長になる。$I\ne0$ならば$I=n\Z$となる正整数$n$を取り、$nd=f(n)$を満たす$d\in D$を選ぶ。写像$g\colon\Z\to D$、$g(a)=ad$は$f$の延長である。したがって定理 2.1により$D$は入射的である。▨

証明.$r\ne0$と$d+N\in D/N$を取り、$re=d$となる$e\in D$を選ぶ。$r(e+N)=d+N$であるから、$D/N$は可除である。▨

証明. 左イデアル$I\subseteq R$と線形写像$f\colon I\to D$を取る。$I=0$の場合は零写像で延長する。$I\ne0$の場合は$a\in I\setminus\{0\}$を固定し、可除性によって$ad=f(a)$を満たす$d\in D$を取る。任意の$b\in I$に対し、可換性と線形性から

となる。仮定より$f(b)=bd$であり、$r\mapsto rd$は$f$の延長である。定理 2.1により$D$は入射的である。分数体では非零元による乗法が可逆なので、可除性と零化に関する仮定の両方が成り立つ。▨

証明.$\Q/\Z$は例 3.7により入射$\Z$-加群である。もとの短完全列をアーベル群の列とみなし、命題 1.2 条件 (b)を適用すると、指標の列は完全である。右加群の短完全列にも同じ結果を適用する。▨

証明.(1)を示す。加法群としての巡回部分群$\Z m\subseteq M$を取る。$m$の位数が有限の$n\ge2$ならば$m\mapsto1/n+\Z$は$\Z m\to\Q/\Z$の準同型を定める。位数が無限ならば$m\mapsto1/2+\Z$が準同型を定める。いずれも$m$の像は非零であり、$\Q/\Z$の入射性によって$M$全体への加法群準同型$\chi$に延長することができる。

(2)を示す。もとの列が完全ならば$g\circ f=0$なので$\im g^+\subseteq\ker f^+$である。$\chi\in\ker f^+$を取ると、$\chi$は$\im f=\ker g$上で零になる。したがって$\chi$は$B/\ker g\cong\im g$上の指標を誘導する。この指標を$C$へ延長したものを$\psi$とすれば、$\chi=\psi\circ g=g^+(\psi)$である。

逆に指標の列が完全であると仮定する。$f^+\circ g^+=0$なので、任意の$a\in A$と$\psi\in C^+$について$\psi(g(f(a)))=0$となる。(1)によって$g(f(a))=0$であり、$\im f\subseteq\ker g$を得る。もし$b\in\ker g\setminus\im f$が存在すれば、商アーベル群$B/\im f$の非零元$b+\im f$を零にしない指標が存在する。この指標と商写像との合成を$\chi\in B^+$とすると、$f^+(\chi)=0$かつ$\chi(b)\ne0$である。一方、指標の列の完全性により$\chi=\psi\circ g$となる$\psi\in C^+$が存在し、$g(b)=0$から$\chi(b)=0$となる。よってそのような$b$は存在せず、$\ker g=\im f$である。右加群に対しても、同じ加法群の議論を適用する。▨

証明.$r,s\in R$と$h\in H$に対して$(r(sh))(a)=h((ar)s)=((rs)h)(a)$である。加法と単位元についても作用の公理を満たすので、$H$は左$R$-加群である。

加法群準同型$\lambda\colon A\otimes_R F\to D$を取る。$a\mapsto\lambda(a\otimes x)$は加法的であり、

なので、$\Phi_F(\lambda)$は$R$-線形である。逆に$v\colon F\to H$が$R$-線形ならば、$b(a,x)=v(x)(a)$は二変数で加法的であり、

を満たす。普遍性§E6.14 命題 5.4により、$\lambda(a\otimes x)=v(x)(a)$を満たす加法群準同型$\lambda$が一意に存在する。両構成はこの等式と普遍性の一意性によって互いに逆であり、加法を保つ。

自然性の等式の両辺を$x\in F$と$a\in A$で評価すると、いずれも$\lambda(a\otimes u(x))$となる。したがって等式が成り立つ。▨

証明.命題 5.1を右正則加群$A=R$に適用し、単位同型§E6.14 命題 7.1 (2)と合成すると、左$R$-加群$F$について自然な同型

を得る。この対応は$v\mapsto(x\mapsto v(x)(1))$であり、その逆は$\lambda\mapsto(x\mapsto(s\mapsto\lambda(sx)))$である。可除性と命題 3.3により$D$は入射アーベル群なので、単射$i\colon A\to B$に沿う右辺の制限写像は全射である。自然性によって左辺の制限写像も全射になる。よって$\Hom_\Z(R,D)$は入射左$R$-加群である。▨

証明. アーベル群$M$の指標の集合$J=\Hom_\Z(M,\Q/\Z)$を取り、

と定める。$j$は加法群準同型であり、命題 4.3 (1)によって単射である。$\Q/\Z$の入射性と命題 1.3 (1)により$D$は入射アーベル群であり、命題 3.2によって可除である。▨

証明.補題 5.3によって、$M$の加法群から可除アーベル群への単射$j\colon M\to D$を取る。$E=\Hom_\Z(R,D)$と置く。命題 5.1を右正則加群$A=R$と左$R$-加群$F=M$に適用し、§E6.14 命題 7.1 (2)と合成して得られる同型のもとで、$j$に対応する線形写像を$\iota\colon M\to E$とする。具体的には

である。$\iota(m)=0$ならば$j(m)=\iota(m)(1)=0$となり、$j$の単射性から$m=0$を得る。$E$は命題 5.2により入射的である。▨