Lemma 70.4.4. Let $S$ be a scheme. Let $X$ be an integral algebraic space over $S$. Then $\Gamma (X, \mathcal{O}_ X)$ is a domain.

Proof. Set $R = \Gamma (X, \mathcal{O}_ X)$. If $f, g \in R$ are nonzero and $fg = 0$ then $X = V(f) \cup V(g)$ where $V(f)$ denotes the closed subspace of $X$ cut out by $f$. Since $X$ is irreducible, we see that either $V(f) = X$ or $V(g) = X$. Then either $f = 0$ or $g = 0$ by Properties of Spaces, Lemma 64.21.4. $\square$

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