Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
108 9. PRIMARY DECOMPOSITION<br />
and isomorphisms<br />
M <br />
Pro<strong>of</strong>. This follows from 7.4.5.<br />
i<br />
MPi<br />
<br />
M/Pi niM 9.4.7. Proposition. Let R be a noetherian ring and M a finite module. Let L ⊂ M<br />
have a reduced primary decomposition<br />
L = N1 ∩ · · · ∩ Nn<br />
where Ni is Pi-primary. Assume U to be a multiplicative subset disjoint from<br />
exactly P1, . . . Pk. Then<br />
is a reduced primary decomposition.<br />
U −1 L = U −1 N1 ∩ · · · ∩ U −1 Nk<br />
Pro<strong>of</strong>. This follows from 9.3.7 and 9.4.3.<br />
9.4.8. Exercise. (1) Describe the primary decomposition over a field.<br />
9.5. Decomposition <strong>of</strong> ideals<br />
9.5.1. Proposition. A proper ideal I ⊂ R has a reduced primary decomposition<br />
and for any such<br />
and<br />
is exact.<br />
Pro<strong>of</strong>. This is a case <strong>of</strong> 9.4.3.<br />
I = Q1 ∩ · · · ∩ Qn<br />
Ass(R/I) = {P1, . . . , Pn}<br />
0 → R/I → <br />
R/Qi<br />
9.5.2. Proposition. If<br />
I = Q1 ∩ · · · ∩ Qn<br />
is a reduced primary decomposition and Pi is minimal in Ass(R/I), then<br />
and therefore uniquely determined.<br />
Pro<strong>of</strong>. This is a case <strong>of</strong> 9.4.4.<br />
Qi = R ∩ IRPi<br />
9.5.3. Definition. Let P be a prime ideal. The symbolic power <strong>of</strong> P is<br />
P (n) = R ∩ P n RP<br />
9.5.4. Proposition. Let<br />
P n = Q1 ∩ · · · ∩ Qn<br />
be a reduced primary decomposition <strong>of</strong> a power <strong>of</strong> a prime ideal P . If Ass(R/Q1) =<br />
{P }, then<br />
Q1 = P (n)<br />
Pro<strong>of</strong>. This is a case <strong>of</strong> 9.4.4.<br />
i<br />
i