Lemma 27.7.2. Let $X$ be a scheme. The following are equivalent:

The scheme $X$ is normal.

For every affine open $U \subset X$ the ring $\mathcal{O}_ X(U)$ is normal.

There exists an affine open covering $X = \bigcup U_ i$ such that each $\mathcal{O}_ X(U_ i)$ is normal.

There exists an open covering $X = \bigcup X_ j$ such that each open subscheme $X_ j$ is normal.

Moreover, if $X$ is normal then every open subscheme is normal.

## Comments (0)

There are also: