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: