4

平坦加群であるが射影加群ではない例

1132
0
$$$$

以下、$R$を環とする。

射影加群

$M$は射影加群であるとは、任意の$R$加群の完全列$\begin{CD} 0@>{}>> X @>{f}>> Y @>{g}>> Z @>{}>>0\\ \end{CD}$
について、
$\begin{CD} 0@>{}>> {\mathop{\mathrm{Hom}}\nolimits}_R(M,X) @>{{\mathop{\mathrm{Hom}}\nolimits}(M,f)}>> {\mathop{\mathrm{Hom}}\nolimits}_R(M,Y) @>{{\mathop{\mathrm{Hom}}\nolimits}(M,g)}>> {\mathop{\mathrm{Hom}}\nolimits}_R(M,Z) @>{}>>0\\ \end{CD}$
が完全列であるということである。

${\mathop{\mathrm{Hom}}\nolimits}$は左完全なので右側の$0$が重要である。

射影加群の特徴づけ

$R$加群$M$について次の2条件は同値である。
$M$は射影加群である。
$M$は自由加群の直和因子になる。すなわち、ある$R$加群$X$が存在して、$P\oplus X =\bigoplus M$となる。

平坦加群

$R$加群$M$は平坦加群であるとは、任意の$R$加群の完全列$\begin{CD} 0@>{}>> X @>{f}>> Y @>{g}>> Z @>{}>>0\\ \end{CD}$
について、
$\begin{CD} 0@>{}>> M \otimes_{R} X @> M \otimes f >> M \otimes_{R} Y @>M \otimes g >> M\otimes_{R} Z @>{}>>0\\ \end{CD}$
が完全列であるということである。

$\otimes$は右完全なので左側の$0$が重要である

平坦加群の特徴づけ

$R$加群$M$について次の2条件は同値である。
$M$は平坦加群である。
$R$の任意の左ideal$L$について、$M \otimes_{R} L \ni m \otimes l \mapsto ml \in ML $は同型である。

②の写像は全射準同型なので単射であることが重要である。
実は非常に重要なことが知られている。

自由加群は射影加群であり、射影加群は平坦加群である。

自由加群が射影加群であることは命題1よりわかる。射影加群が平坦加群であることを示すのは少し手間がかかったりするので省略する。(命題2を示す過程で射影加群が平坦加群でもある事実が導かれる。)

平坦加群だが射影加群ではない例

$\mathbb{Q}$$\mathbb{Z}$加群として平坦加群ではある。しかし、射影加群ではない。

$\mathbb{Z}$の任意の左idealはある整数$n$を用いて$\mathbb{Z}n$とかける。$\mathbb{Z}n \otimes \mathbb{Q} \ni mn \otimes a/b \mapsto mna/b \in \mathbb{Q}$が単射であることを示せばよい。
(ただし、上の表示においては$a$$b$は互いに素で$b>0$である。)
$mna/b=m'na'/b'$とすると$ab'm=a'bm'$となる。$m$$m'$$0$であれば$mn \otimes a/b =m'n \otimes a'/b'=0$となる。よって$m,m' \neq 0$であるとしてよい。
$a$$b$と互いに素であるから$mb'=bk,m'b'=ak$となるような$k \in \mathbb{Z}$が存在する。
$m'n \otimes (a'/b')=m'n \otimes (am/bm')=mn \otimes (a/b)$となり単射性が分かる。
よって、$\mathbb{Q}$は平坦加群である。$\mathbb{Q}$が射影加群であると仮定する。
ある$\mathbb{Z}$加群$X$が存在して$\mathbb{Q} \oplus X=\bigoplus \mathbb{Z}$となる。
$(1,0) =(a_1, \dots ,a_n, \dots )$となる。任意の$0$でない整数$m$
について$(a_1/m, \dots ,a_n/m, \dots )=(1/m,0) \in \mathbb{Q} \oplus X=\bigoplus \mathbb{Z}$となる。つまり$a_1, \dots ,a_n$は任意の$0$でない整数$m$で割り切れることになり$a_1= \dots a_n =0$となる。これは明らかに矛盾である。

参考

『環と加群のホモロジー代数的理論』(岩永,佐藤)(日本評論社)

投稿日:20201116

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

B2 現在代数学(特に環論)を勉強中。 将来は群論やりたいとか思ってます。 気が向いた時に更新していく感じでいきます。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中