Integral extension implies surjective map on spectra

From Commalg
Revision as of 19:35, 2 February 2008 by Vipul (talk | contribs) (New page: ==Statement== Suppose <math>S</math> is an integral extension of a ring <math>R</math>, in other words <math>f:R \to S</math> is an injective homomorphism of commutative unital rings ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose S is an integral extension of a ring R, in other words f:RS is an injective homomorphism of commutative unital rings with the property that every element of S is integral over the image of R. Then, the map:

f*:Spec(S)Spec(R)

from the spectrum of S to that of R, that sends a prime ideal of S to its contraction in R, is surjective. In other words, every prime ideal of R occurs as the contraction of a prime ideal of S.

Proof

Fill this in later