05/09/28 12:35:52
A を環、M を A-加群、N をその部分加群とする。
Supp(M) = Supp(N) ∪ Supp(M/N) となる。
証明
完全系列 0 → N → M → M/N → 0
より、p ∈ Spec(A) に対して
完全系列 0 → N_p → M_p → (M/N)_p → 0
が得られる。
これより明らか
05/09/28 12:35:52
A を環、M を A-加群、N をその部分加群とする。
Supp(M) = Supp(N) ∪ Supp(M/N) となる。
証明
完全系列 0 → N → M → M/N → 0
より、p ∈ Spec(A) に対して
完全系列 0 → N_p → M_p → (M/N)_p → 0
が得られる。
これより明らか