06.08.2013 Views

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!