Exercise 111.2.6. Let $A \subset B$ be an integral ring extension. Prove that $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ is surjective. Use the exercises above, the fact that this holds for a finite ring extension (proved in the lectures), and by proving that $B = \mathop{\mathrm{colim}}\nolimits B_ i$ is a directed colimit of finite extensions $A \subset B_ i$.
Comments (0)