Lemma 10.65.5. Let $R \to S$ be a ring map. Let $M$ be an $R$-module, and let $N$ be an $S$-module. Assume $N$ is flat as $R$-module. Then

where we use Remark 10.17.8 to think of the spectra of fibre rings as subsets of $\mathop{\mathrm{Spec}}(S)$. If $R$ is Noetherian then this inclusion is an equality.

## Comments (0)