Lemma 29.14.9. The following properties of ring maps are stable under composition.
(Isomorphism on local rings.) For every prime \mathfrak q of A lying over \mathfrak p \subset R the ring map R \to A induces an isomorphism R_{\mathfrak p} \to A_{\mathfrak q}.
(Open immersion.) For every prime \mathfrak q of A there exists an f \in R, \varphi (f) \not\in \mathfrak q such that the ring map \varphi : R \to A induces an isomorphism R_ f \to A_ f.
(Locally Noetherian on the target.) The ring map R \to A has the property that A is Noetherian.
Add more here as needed1.
Comments (0)