文献あり

プチ定義集：加群の素因子

375

今回は可換環上の加群に対する素因子を定義します．まず，ひとつの補題を用意しましょう．

$A$ を可換環， $M$ を $A$ 加群， $I$ を $A$ のイデアルとする．以下は同値である：

ある $x \in M$ が存在して $I = {ann}_{A} x := {a \in A ∣ a x = 0}$ ；
$A$ 線型な単射 $f : A / I \to M$ が存在する．

1. $\Rightarrow$ 2. 写像 $g : A \to M$ を $g (a) = a x$ で定義すると，
$\ker g = {a \in A ∣ a x = 0} = {ann}_{A} x ．$
剰余加群の普遍性により $A$ 線型な単射 $f : A / I \to M$ が存在する．
2. $\Rightarrow$ 1. $x = f (1)$ とすれば， $f$ の単射性から $a \in A$ に対し
$a x = 0 ⟺ a \in I,$
すなわち $I = {ann}_{A} x$ が成り立つ．

加群の素因子

$A$ を可換環， $M$ を $A$ 加群とする． $A$ の素イデアル $P$ が補題の条件 1. および 2. を充たすとき， $M$ の素因子という．

一方で，可換環論には準素分解を用いたイデアルの素因子というものが定義されています．同じ用語で異なる概念を示すものだとしたらこれは困りますが，可換環論の枠組みで重要な場合，すなわちネーター環の場合には両者が一致することが示されています．

イデアルの素因子

可換環 $A$ のイデアル $I$ が準素分解をもつものとし，
$I = Q_{1} \cap Q_{2} \cap \dots \cap Q_{s}$
をその無駄のない準素分解とする．このとき， $\sqrt{Q_{t}}$ ( $1 \leq t \leq s$ ) を $I$ の素因子という．