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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

(2) P MP = MP for all prime ideals P .<br />

(3) P MP = MP for all maximal ideals P .<br />

(4) M ⊗R k(P ) = 0 for all prime ideals P .<br />

(5) M ⊗R k(P ) = 0 for all maximal ideals P .<br />

Pro<strong>of</strong>. Combine 6.4.1 with 5.4.1.<br />

6.4. NAKAYAMA’S LEMMA 79<br />

6.4.5. Corollary. Let (R, P ) be a local ring and f : M → N a homomorphism.<br />

Assume N is finite. The following conditions are equivalent.<br />

(1) f is surjective.<br />

(2) f(P ) is surjective.<br />

Pro<strong>of</strong>. f is surjective if and only if Cok f = 0. Cok f is finite, so it is zero if and<br />

only if Cok f ⊗R k(P ) = Cok(f(P )) = 0, 6.4.1.<br />

6.4.6. Corollary. Let R be a ring and f : M → N a homomorphism. Assume N<br />

is finite. The following conditions are equivalent.<br />

(1) f is surjective.<br />

(2) f(P ) is surjective for all prime ideals P .<br />

(3) f(P ) is surjective for all maximal ideals P .<br />

6.4.7. Corollary. Let (R, P ) be a local ring and M a finite module. Let x1, . . . , xn ∈<br />

M. The following conditions are equivalent.<br />

(1) x1, . . . , xn generate M.<br />

(2) x1, . . . , xn generate M ⊗R k(P ).<br />

6.4.8. Corollary. Let R be a ring and M a finite module. Let x1, . . . , xn ∈ M.<br />

The following conditions are equivalent.<br />

(1) x1, . . . , xn generate M.<br />

(2) x1, . . . , xn generate M ⊗R k(P ) for all prime ideals P .<br />

(3) x1, . . . , xn generate M ⊗R k(P ) for all maximal ideals P .<br />

6.4.9. Proposition. Let f : R n → R m be a homomorphism represented by an<br />

m × n-matrix A. The following are equivalent.<br />

(1) f is surjective.<br />

(2) n ≥ m and the ideal (m − minors) = R.<br />

Pro<strong>of</strong>. (1) ⇒ (2): If f is surjective, then for any maximal ideal f(P ) is surjective<br />

linear map. So n ≥ m and some m-minor is nonzero in k(P ). Therefore (m −<br />

minors) is not contained in P , so (m − minors) = R. (2) ⇒ (1): f(P ) is<br />

surjective for all maximal ideals, so f surjective by 6.4.6.<br />

6.4.10. Proposition. Let f : R n → R m be a homomorphism represented by an<br />

m × n-matrix A. The following are equivalent.<br />

(1) f is injective.<br />

(2) n ≤ m and the ideal Ann(n − minors) = 0.<br />

Pro<strong>of</strong>. See the pro<strong>of</strong> 6.2.5 (2).<br />

6.4.11. Exercise. (1) Let R be a domain and f : R n → R m a homomorphism represented<br />

by an m × n-matrix. Show that f is injective if and only if n ≤ m and some<br />

n − minor = 0.

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

Saved successfully!

Ooh no, something went wrong!