Example 29.6.4. If A \to B is a ring map with kernel I, then the scheme theoretic image of \mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A) is the closed subscheme \mathop{\mathrm{Spec}}(A/I) of \mathop{\mathrm{Spec}}(A). This follows from Lemma 29.6.3.
Comments (0)
There are also: