Lemma 29.14.7. The following properties of a ring map $R \to A$ are local.

(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$.

(Reduced fibres.) For every prime $\mathfrak p$ of $R$ the fibre ring $A \otimes _ R \kappa (\mathfrak p)$ is reduced.

(Fibres of dimension at most $n$.) For every prime $\mathfrak p$ of $R$ the fibre ring $A \otimes _ R \kappa (\mathfrak p)$ has Krull dimension at most $n$.

(Locally Noetherian on the target.) The ring map $R \to A$ has the property that $A$ is Noetherian.

Add more here as needed

^{1}.

## Comments (0)