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.
(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.