Integral extension implies surjective map on spectra
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