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 is an integral extension of a ring , in other words is an injective homomorphism of commutative unital rings with the property that every element of is integral over the image of . Then, the map:

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

Proof

Fill this in later