Lemma 70.4.2. Let $S$ be a scheme. Let $X$ be an integral algebraic space over $S$. Let $\eta \in |X|$ be the generic point of $X$. There are canonical identifications

$R(X) = \mathcal{O}_{X, \eta }^ h = \kappa (\eta )$

where $R(X)$ is the ring of rational functions defined in Morphisms of Spaces, Definition 65.47.3, $\kappa (\eta )$ is the residue field defined in Decent Spaces, Definition 66.11.2, and $\mathcal{O}_{X, \eta }^ h$ is the henselian local ring defined in Decent Spaces, Definition 66.11.5. In particular, these rings are fields.

Proof. Since $X$ is a scheme in an open neighbourhood of $\eta$ (see discussion above), this follows immediately from the corresponding result for schemes, see Morphisms, Lemma 29.48.5. We also use: the henselianization of a field is itself and that our definitions of these objects for algebraic spaces are compatible with those for schemes. Details omitted. $\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).

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

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0END. Beware of the difference between the letter 'O' and the digit '0'.