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.
70 5. LOCALIZATION<br />
5.4. Exactness and localization<br />
5.4.1. Proposition. Let R be a ring and M a module. The following conditions<br />
are equivalent.<br />
(1) M = 0.<br />
(2) MP = 0 for all prime ideals P .<br />
(3) MP = 0 for all maximal ideals P .<br />
Pro<strong>of</strong>. (1) ⇒ (2) ⇒ (3) is clear. (3) ⇒ (1): Let 0 = x ∈ M be given. Then<br />
Ann(x) ⊂ P is contained in a maximal ideal, 5.1.2. Clearly 0 = x<br />
1 ∈ MP<br />
contradicts (3).<br />
5.4.2. Corollary. Let R be a ring and f : M → N a homomorphism. The following<br />
conditions are equivalent.<br />
(1) f is injective.<br />
(2) fP is injective for all prime ideals P .<br />
(3) fP is injective for all maximal ideals P .<br />
Pro<strong>of</strong>. Use 5.4.1 on Ker f.<br />
5.4.3. Corollary. Let R be a ring and f : M → N a homomorphism. The following<br />
conditions are equivalent.<br />
(1) f is surjective.<br />
(2) fP is surjective for all prime ideals P .<br />
(3) fP is surjective for all maximal ideals P .<br />
Pro<strong>of</strong>. Use 5.4.1 on Cok f.<br />
5.4.4. Corollary. Let R be a ring and f : M → N a homomorphism. The following<br />
conditions are equivalent.<br />
(1) f is an isomorphism.<br />
(2) fP is an isomorphism for all prime ideals P .<br />
(3) fP is an isomorphism for all maximal ideals P .<br />
5.4.5. Corollary. Let R be a ring and<br />
0<br />
f<br />
<br />
M<br />
g<br />
<br />
N<br />
a sequence <strong>of</strong> homomorphisms. The following conditions are equivalent.<br />
(1) The sequence is short exact.<br />
(2) The sequence<br />
0<br />
<br />
MP<br />
fP <br />
NP<br />
is short exact for all prime ideals P .<br />
(3) The sequence<br />
0<br />
<br />
MP<br />
fP <br />
NP<br />
is short exact for all maximal ideals P .<br />
<br />
L<br />
gP <br />
LP<br />
gP <br />
LP<br />
5.4.6. Corollary. Let R be a ring and F a module. The following conditions are<br />
equivalent.<br />
(1) F is flat.<br />
(2) FP is flat for all prime ideals P .<br />
<br />
0<br />
<br />
0<br />
<br />
0