Lemma 38.13.12. Let $R \to S$ be a ring map of finite type. Let $M$ be a finite $S$-module. Assume $\text{WeakAss}_ R(R)$ 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 flat over $R$ and an $S_ g$-module finitely presented relative to $R$ (see More on Algebra, Definition 15.80.2).

## Comments (0)

There are also: