Lemma 29.44.2. Let $f : X \to S$ be a morphism of schemes. The following are equivalent:

The morphism $f$ is integral.

There exists an affine open covering $S = \bigcup U_ i$ such that each $f^{-1}(U_ i)$ is affine and $\mathcal{O}_ S(U_ i) \to \mathcal{O}_ X(f^{-1}(U_ i))$ is integral.

There exists an open covering $S = \bigcup U_ i$ such that each $f^{-1}(U_ i) \to U_ i$ is integral.

Moreover, if $f$ is integral then for every open subscheme $U \subset S$ the morphism $f : f^{-1}(U) \to U$ is integral.

## Comments (0)