Going down for flat extensions

From Commalg
Revision as of 16:22, 12 May 2008 by Vipul (talk | contribs) (2 revisions)
(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.

References