Lemma 27.7.5. Let $X$ be a scheme such that any quasi-compact open has a finite number of irreducible components. The following are equivalent:

$X$ is normal, and

$X$ is a disjoint union of normal integral schemes.

Lemma 27.7.5. Let $X$ be a scheme such that any quasi-compact open has a finite number of irreducible components. The following are equivalent:

$X$ is normal, and

$X$ is a disjoint union of normal integral schemes.

**Proof.**
It is immediate from the definitions that (2) implies (1). Let $X$ be a normal scheme such that every quasi-compact open has a finite number of irreducible components. If $X$ is affine then $X$ satisfies (2) by Algebra, Lemma 10.36.16. For a general $X$, let $X = \bigcup X_ i$ be an affine open covering. Note that also each $X_ i$ has but a finite number of irreducible components, and the lemma holds for each $X_ i$. Let $T \subset X$ be an irreducible component. By the affine case each intersection $T \cap X_ i$ is open in $X_ i$ and an integral normal scheme. Hence $T \subset X$ is open, and an integral normal scheme. This proves that $X$ is the disjoint union of its irreducible components, which are integral normal schemes.
$\square$

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #3046 by Dario Weißmann on

Comment #3151 by Johan on

There are also: