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.
72 5. LOCALIZATION<br />
(1) φ is flat.<br />
(2) φP : RP → SP is flat for all prime ideals P ⊂ R.<br />
(3) φP : RP → SP is flat for all maximal ideals P ⊂ R.<br />
Pro<strong>of</strong>. Use 5.4.6.<br />
5.5.8. Proposition. A flat local homomorphism (R, P ) → (S, Q) is faithfully flat.<br />
Pro<strong>of</strong>. Let 0 = x ∈ M be an R-module. R/ Ann(x) Rx and I = Ann(x) ⊂ P ,<br />
so IS ⊂ Q. Then R/I ⊗R S S/IS = 0 and therefore M ⊗R S = 0 giving the<br />
claim.<br />
5.5.9. Proposition (going-down). Let φ : R → S be a flat ring homomorphism<br />
and Q ⊂ S a prime ideal. For any prime ideal P ′ ⊂ P = Q ∩ R there is a prime<br />
ideal Q ′ ⊂ Q contracting to P ′ = Q ′ ∩ R.<br />
Pro<strong>of</strong>. The local homomorphism RP → SQ is faithfully flat. The ring k(P ′ ) ⊗R<br />
SQ is nonzero and therefor contains a maximal ideal Q ′′ . The contraction to S,<br />
Q ′ = Q ′′ ∩ S contracts to P ′ = R ∩ Q ′ .<br />
5.5.10. Proposition. Let R → S be a flat homomorphism. The following conditions<br />
are equivalent.<br />
(1) R → S is faithfully flat.<br />
(2) Any prime ideal P ⊂ R is the contraction P = Q ∩ R <strong>of</strong> a prime ideal<br />
Q ⊂ S.<br />
Pro<strong>of</strong>. Assume (2). Let M = 0 be an R-module. Then MP = 0 for some P . Let<br />
P = Q ∩ R, then (M ⊗R S)Q MP ⊗RP SQ = 0 as RP → SQ is faithfully flat.<br />
So (1) is true.<br />
5.5.11. Proposition. The inclusion R → R[X1, . . . , Xn] is a faithfully flat homomorphism<br />
Pro<strong>of</strong>. The R-module R[X1, . . . , Xn] is free.<br />
5.5.12. Exercise. (1) Show that a free module is faithfully flat.<br />
(2) Let R → S and S → T be flat homomorphisms. Show that the composite R → S is<br />
flat.<br />
(3) Show that Q is a flat but not faithfully flat Z-module.<br />
(4) Let R be a ring and I = √ 0 the nilradical. Show that IR[X] is the nilradical <strong>of</strong><br />
R[X].