Lemma 38.13.7. Let $R \to S$ be a ring map of finite presentation. Let $M$ be a finite $S$-module. Assume $\text{WeakAss}_ S(S)$ is finite. Then

is open in $\mathop{\mathrm{Spec}}(S)$ and for every $g \in S$ such that $D(g) \subset U$ the localization $M_ g$ is a finitely presented $S_ g$-module flat over $R$.

## Comments (0)

There are also: