- 195 名前：208 [2005/10/03(月) 17:13:36 ]
- A をネーター環とし、Mを A-加群、
Q を M の準素部分加群、Ass(M/Q) = {p} とする。
S を A の積閉集合とする。p ∩ S が空なら、Q_S は M_S の
準素部分加群であり、Ass(M_S/Q_S) = {pA_S} となる。
さらに、φ^(-1)(Q_S) = Q となる。ここで、φ: A → A_S は
標準射。
p ∩ S が空でないなら Q_S = M_S となる。
証明
p ∩ S が空とする。
>>95より、
Ass(M_S/Q_S) = Ass(M/Q) ∩ Spec(A_S) となる。
よって、Ass(M_S/Q_S) = {pA_S} となる。
s ∈ S、x ∈ M、 sx ∈ Q とする。>>180より s は
M/Q に関して正則元だから x ∈ Q となる。
これは、φ^(-1)(Q_S) = Q を意味する。
次に、p ∩ S が空でないとする。
Ass(M_S/Q_S) = Ass(M/Q) ∩ Spec(A_S) は空となるから、
M_S/Q_S = 0 である。
証明終
|
 |
