Lemma 10.66.18. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. Assume $N$ is flat as an $R$-module and $R$ is a domain with fraction field $K$. Then

via the canonical inclusion $\mathop{\mathrm{Spec}}(S \otimes _ R K) \subset \mathop{\mathrm{Spec}}(S)$.

## Comments (0)

There are also: