05/11/04 15:03:26
命題
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
A の素元 p に対して M(p) = {x ∈ M; (p^n)x = 0 となる n > 0 がある}
とおく。M = ΣM(p) (直和) となる。ここで p は、Ann(M) を割る素元
全体を動く。
証明
まず、M は有限生成の捩れ加群だから、Ann(M) ≠ 0 である。
x ∈ M, x ≠ 0 とし、Ann(x) = aA とする。M は捩れ加群だから、
a ≠ 0 である。>>668 より x ∈ ΣM(p) となる。ここで p は
a の素因子を渡る。あとは、Ann(M) ⊂ aA に注意すればよい。
証明終