- 185 名前：208 [2005/10/03(月) 11:32:46 ]
- A をネーター環、M を A-加群、N をその部分加群とする。
Ass(M) ⊂ Ass(N) ∪ Ass(M/N) となる。
証明
p ∈ Ass(M) とする。M の部分加群 L で A/p と同型になるものが
ある。 L ∩ N が空でなければ、p ∈ Ass(L ∩ N) ⊂ Ass(N)
となる。L ∩ N が空なら、L は (L + N)/N ⊂ M/N と同型。
よって、p ∈ Ass(M/N) となる。
証明終
