Definition 111.33.12 (028Y)—The Stacks project

Processing math: 100%

Definition 111.33.12. A scheme $X$ is called integral if $X$ is nonempty and for every nonempty affine open $U \subset X$ the ring $\Gamma (U, \mathcal{O}_ X) = \mathcal{O}_ X(U)$ is a domain.

Comments (2)

Comment #1068 by Lenny Taelman on October 11, 2014 at 12:51

...and X is non-empty, as in 01OK.

Comment #1075 by Johan on October 15, 2014 at 12:58

Thanks! Fixed here.

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 (2)

Post a comment