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.

8.3. FINITE TYPE RINGS 95<br />

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

a finite module M and any module N the homomorphism<br />

is an isomorphism.<br />

U −1 HomR(M, N) → Hom U −1 R(U −1 M, U −1 N)<br />

Pro<strong>of</strong>. Conclusion by 6.5.8, 8.2.7.<br />

8.2.10. Proposition. Let R be a noetherian ring. If E is an injective R-module,<br />

then U −1 E is an injective U −1 R-module.<br />

Pro<strong>of</strong>. Let I ⊂ R be an ideal. Then HomR(R, E) → HomR(I, E) → 0 is exact.<br />

By 8.2.9 Hom U −1 R(U −1 R, U −1 E) → Hom U −1 R(U −1 I, U −1 E) → 0 is exact.<br />

So U −1 E is injective 3.6.7, using that any ideal is extended 4.3.6.<br />

8.2.11. Proposition. For a ring R, the following are equivalent.<br />

(1) R is a noetherian ring.<br />

(2) For any family Eα <strong>of</strong> injective modules, the sum <br />

α Eα is injective.<br />

Pro<strong>of</strong>. (1) ⇒ (2): Let I ⊂ R be an ideal. A homomorphism f : I → Eα<br />

has Im f contained in a finite sum, which is injective 3.6.6. So f extends to R →<br />

Eα, giving injectivity. (2) ⇒ (1): Let In ⊂ R be an increasing chain <strong>of</strong> ideals.<br />

Put I = ∪In and choose an injective envelope I/In ⊂ En. The homomorphism<br />

f : I → En extends to f ′ : R → En. Since Im f is contained in a finite<br />

sum, I/In = 0 for n >> 0.<br />

8.2.12. Proposition. If R is a ring such that every prime ideal is finite, then it is<br />

noetherian.<br />

Pro<strong>of</strong>. If R is not noetherian, then the set <strong>of</strong> not finite ideals is nonempty and by<br />

Zorn’s lemma it has a maximal element I. Since I is not prime there is a, b /∈ I<br />

and ab ∈ I. The ideals I + (a) and I : (a) are both greater that I and therefore<br />

finite. If I + (a) = (a1, . . . , am, a), ai ∈ I and I : (a) = (b1, . . . , bn), then<br />

I = (a1, . . . , am, ab1, . . . , abn) is finite. It follows that R must be noetherian.<br />

8.2.13. Exercise. (1) Show that a principal ideal domain is noetherian.<br />

(2) Let I ⊂ R be an ideal in a noetherian ring. Show that R/I is noetherian.<br />

(3) Let K be a field and R = K[X1, X2, . . . ] the polynomial ring in countable many<br />

variables. Show that R is not noetherian.<br />

(4) Let K be a field. Show that the ring R = <br />

N K is not noetherian.<br />

8.3. Finite type rings<br />

8.3.1. Proposition (Hilbert’s basis theorem). Let R be a noetherian ring. Then the<br />

ring <strong>of</strong> polynomials R[X] is noetherian.<br />

Pro<strong>of</strong>. Assume I ⊂ R[X] to be a not finite ideal. Choose a sequence f1, f2, · · · ∈<br />

I such that<br />

fi = aiX di + terms <strong>of</strong> lower degree , ai = 0<br />

and fi+1 has lowest degree in I − (f1, . . . , fi). The ideal <strong>of</strong> leading coefficients is<br />

finitely generated by a1, . . . , an. Then an+1 = b1a1 + · · · + bnan and d1 ≤ · · · ≤<br />

dn+1 = d gives<br />

fn+1 − b1X d−d1 f1 − · · · − bnX d−dn fn<br />

in I − (f1 . . . , fn) <strong>of</strong> degree less than d. By contradiction the ideal I is finite.

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

Saved successfully!

Ooh no, something went wrong!