Lemma 28.9.2 (02IT)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 28: Properties of Schemes
Section 28.9: Regular schemes
Lemma 28.9.2 (cite)

previous definition
next lemma

numberstags

history
statistics
8 tags refer to this tag

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

$X$ is regular,
$X$ is locally Noetherian and all of its local rings are regular, and
$X$ is locally Noetherian and for any closed point $x \in X$ the local ring $\mathcal{O}_{X, x}$ is regular.

Proof. By the discussion in Algebra preceding Algebra, Definition 10.110.7 we know that the localization of a regular local ring is regular. The lemma follows by combining this with Lemma 28.5.2, with the existence of closed points on locally Noetherian schemes (Lemma 28.5.9), and the definitions. $\square$

Comments (0)

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

Comments (0)

Post a comment