Lemma 15.25.2. Let $R \to S$ be a ring homomorphism. Assume

there exist finitely many primes $\mathfrak p_1, \ldots , \mathfrak p_ m$ of $R$ such that the map $R \to \prod R_{\mathfrak p_ j}$ is injective,

$R \to S$ is of finite type,

$S$ flat over $R$, and

for every prime $\mathfrak p$ of $R$ the ring $S_{\mathfrak p}$ is of finite presentation over $R_{\mathfrak p}$.

Then $S$ is of finite presentation over $R$.

## Comments (0)