Lemma 31.32.9. Let $X$ be a scheme. Let $\mathcal{I} \subset \mathcal{O}_ X$ be a nonzero quasi-coherent sheaf of ideals. If $X$ is integral, then the blowup $X'$ of $X$ in $\mathcal{I}$ is integral.

Comment #2657 by Ko Aoki on

You should assume that $\mathcal{I}$ is nonzero so that $X'$ doesn't become empty.

There are also:

• 7 comment(s) on Section 31.32: Blowing up

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).