05/10/04 11:25:15
ネーター加群における準素加群分解(>>182)は、既約部分加群が
準素であるという事実(>>158または>>192)に基づいていた。
しかし、準素部分加群は既約とは限らない。既約とは限らない
準素部分加群による分解は次の結果から得られる。
命題
A をネーター環とし、Mを有限生成 A-加群とする。
p ∈ Ass(M) とすると、M の部分加群 N で、
Ass(M/N) = {p}, Ass(N) = Ass(M) - {p} となるものが存在する。
証明
Ass(M) = {p} なら命題は自明なので、Ass(M) ≠ {p} と仮定する。
M の部分加群 N で、Ass(N) に p を含まないものの中で極大なもの
とする。このようなものが存在することは、M がネーター加群である
ことからわかる。Ass(M) ⊂ Ass(N) ∪ Ass(M/N) だから、
p ∈ Ass(M/N) となる。q ∈ Ass(M/N) で p ≠ q となるものがある
とする。N ⊂ L で L/N が A/q と同型になるような部分加群 L が
存在する。Ass(L/N) = {q} で Ass(L) ⊂ Ass(N) ∪ Ass(L/N) だから
Ass(L) は p を含まない。これは N の極大性に反する。
よって、Ass(M/N) = {p} である。Ass(N) = Ass(M) - {p} は、これと
Ass(N) ⊂ Ass(M) および、Ass(M) ⊂ Ass(N) ∪ Ass(M/N) からわかる。
証明終