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

1659

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

射影加群

$M$ は射影加群であるとは、任意の $R$ 加群の完全列 $\begin{matrix} 0 & \overset{}{\to} & X & \overset{f}{\to} & Y & \overset{g}{\to} & Z & \overset{}{\to} & 0 \end{matrix}$
について、
$\begin{matrix} 0 & \overset{}{\to} & {Hom}_{R} (M, X) & \overset{Hom (M, f)}{\to} & {Hom}_{R} (M, Y) & \overset{Hom (M, g)}{\to} & {Hom}_{R} (M, Z) & \overset{}{\to} & 0 \end{matrix}$
が完全列であるということである。

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

射影加群の特徴づけ

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

平坦加群

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

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

平坦加群の特徴づけ

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

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

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

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

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

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

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