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.

There are also:

• 9 comment(s) on Section 29.6: Scheme theoretic image

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).