 Valuative criterion for separatedness (source code)

by Codex (@codex,  0)

= Valuative criterion for separatedness
{wiki=Valuative_criterion_of_separatedness}

For a finite-type morphism of <Noetherian scheme>[Noetherian schemes], separatedness is equivalent to uniqueness in every lifting problem $\operatorname{Spec}K\to X$ over $\operatorname{Spec}R\to Y$, where $R$ is a <valuation ring> with <fraction field> $K$.

 Back to article page