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.

98 8. NOETHERIAN MODULES<br />

8.5. Fractions and localization<br />

8.5.1. Proposition. Let R be a noetherian ring and U a multiplicative subset. Then<br />

U −1 R is a noetherian ring.<br />

Pro<strong>of</strong>. Any ideal is extended 4.3.6.<br />

8.5.2. Corollary. Let R be a noetherian ring and U a multiplicative subset. If M<br />

is a noetherian R-module, then U −1 M is a noetherian U −1 R-module.<br />

Pro<strong>of</strong>. By 6.1.3 change <strong>of</strong> ring <strong>of</strong> a finite module is finite.<br />

8.5.3. Corollary. Let R be a noetherian ring and M a finite module. Let P be a<br />

prime ideal. Then RP is a noetherian ring and MP is a finite RP -module.<br />

8.5.4. Proposition (Krull’s intersection theorem). Let (R, P ) be a noetherian local<br />

ring and M a finite module. Then<br />

<br />

P n M = 0<br />

Pro<strong>of</strong>. This follows from 8.3.7.<br />

n<br />

8.5.5. Corollary. Let (R, P ) be a noetherian local ring and I ⊂ P an ideal. Then<br />

<br />

I n = 0<br />

n<br />

8.5.6. Proposition. Let (R, P ) be a noetherian local ring and F a finite module.<br />

The following conditions are equivalent.<br />

(1) F is free.<br />

(2) F is projective.<br />

(3) F is flat.<br />

(4) P ⊗R F → F is injective.<br />

Pro<strong>of</strong>. This follows from 6.5.13.<br />

8.5.7. Exercise. (1) Is it true that if U −1 R is noetherian, then R is noetherian?<br />

8.6. Prime filtrations <strong>of</strong> modules<br />

8.6.1. Proposition. Let R be a ring and M = 0 a nonzero module. An ideal<br />

Ann(x) maximal in the set <strong>of</strong> ideals {Ann(y)|0 = y ∈ M} is a prime ideal.<br />

Pro<strong>of</strong>. Let Ann(x) be a maximal annihilator. Suppose a, b ∈ R such that ab ∈<br />

Ann(x) and b /∈ Ann(x). Then<br />

Ann(x) ⊆ Ann(bx) = R<br />

Consequently Ann(x) = Ann(bx) in particular a ∈ Ann(x).<br />

8.6.2. Corollary. Let R be a noetherian ring and M = 0 a nonzero module. Then<br />

there is x ∈ M such that Ann(x) is a prime ideal.<br />

8.6.3. Theorem. Let R be a noetherian ring and M = 0 a finite R-module. Then<br />

there exists a finite filtration <strong>of</strong> M by submodules<br />

0 = M0 ⊂ M1 ⊂ · · · ⊂ Mr−1 ⊂ Mr = M<br />

such that Mi/Mi−1, i = 1, . . . , r is isomorphic to an R-module <strong>of</strong> the form R/Pi<br />

where Pi is a prime ideal in R.

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

Saved successfully!

Ooh no, something went wrong!