Going down for flat extensions

From Commalg
Revision as of 21:13, 9 March 2008 by Vipul (talk | contribs) (New page: ==Statement== Suppose <math>\varphi:R \to S</math> is a flat extension i.e. <math>R</math> is a subring of a commutative unital ring <math>S</math> and <math>S</math> is flat as a...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose φ:RS is a flat extension i.e. R is a subring of a commutative unital ring S and S is flat as a R-module. Then, if P1P2 are prime ideals of R, and Q1Spec(S) contracts to P1, there exists Q2Spec(S) such that Q1Q2, and Q2 contracts to P2.