Lemma 72.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

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

## Comments (0)