Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
104 9. PRIMARY DECOMPOSITION<br />
9.2.6. Proposition. Let M be a module and P ⊂ Ass(M). Then there is a submodule<br />
N ⊂ M such that<br />
Ass(N) = P , Ass(M/N) = Ass(M)\P<br />
Pro<strong>of</strong>. Choose by Zorn’s lemma N maximal in the set <strong>of</strong> submodules N ′ ⊂ M<br />
for which Ass(N ′ ) ⊂ P. Let Q ∈ Ass(M/N) and choose N ⊂ L ⊂ M with<br />
L/N R/Q. Then Ass(L) ⊂ P ∪ {Q}. By maximality <strong>of</strong> N follows that<br />
Ass(L) ⊂ P. So Q /∈ P and Q ∈ Ass(L) ⊂ Ass(M).<br />
9.2.7. Proposition. Let R be a noetherian ring and M a module. Then M = 0 if<br />
and only if Ass(M) = ∅.<br />
Pro<strong>of</strong>. If M = 0, then by 8.6.2 Ass(M) = ∅.<br />
9.2.8. Corollary. Let R be a noetherian ring and f : M → N a homomorphism.<br />
The following conditions are equivalent.<br />
(1) f is injective.<br />
(2) fP is injective for all prime ideals P ∈ Ass(M).<br />
Pro<strong>of</strong>. Use 9.2.7 on Ker f.<br />
9.2.9. Corollary. Let R be a noetherian ring and M a module. Then a ∈ R is a<br />
nonzero divisor on M if and only if<br />
a /∈ ∪ P ∈Ass(M)P<br />
The set <strong>of</strong> zero divisors on M is ∪ P ∈Ass(M)P .<br />
Pro<strong>of</strong>. aM is injective if and only if aMP<br />
This happens when a /∈ ∪ P ∈Ass(M)P .<br />
is injective for all P ∈ Ass(M), 8.2.8.<br />
9.2.10. Proposition. Let U ⊂ R be a multiplicative subset and M a module.<br />
(1) In general<br />
(2) If R is noetherian<br />
Ass(M) ∩ Spec(U −1 R) ⊂ Ass U −1 R(U −1 M)<br />
Ass(M) ∩ Spec(U −1 R) = Ass U −1 R(U −1 M)<br />
Pro<strong>of</strong>. Let P be a prime ideal. For any homomorphism R/P → M there is a<br />
commutative diagram<br />
R/P <br />
M<br />
<br />
U −1R/P <br />
<br />
U −1M (1) If P ∈ Ass(M) and P ∩ U = ∅ then U −1 P ∈ Ass(U −1 M). (2) If U −1 P ∈<br />
Ass(U −1 M), then P ∩ U = ∅. By 8.2.9 there is a diagram as above. R/P → M<br />
is injective by 9.2.8. So P ∈ Ass(M).<br />
9.2.11. Proposition. Let R be a noetherian ring and M a module. Then any minimal<br />
prime P ∈ Supp(M) is contained in Ass(M).<br />
Pro<strong>of</strong>. Assume P ∈ Supp(M) is minimal. Then the RP -module MP has support<br />
exactly in the maximal ideal, so {P RP } = Ass(MP ). Conclusion by 9.2.10.