Lemma 10.41.3. Let $R \to S$ be a ring map.

$R \to S$ satisfies going down if and only if generalizations lift along the map $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$, see Topology, Definition 5.19.4.

$R \to S$ satisfies going up if and only if specializations lift along the map $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$, see Topology, Definition 5.19.4.

## Comments (0)

There are also: