Lemma 10.130.4. Let $I$ be a directed set. Let $(R_ i \to S_ i, \varphi _{ii'})$ be a system of ring maps over $I$, see Categories, Section 4.21. Then we have

$\Omega _{S/R} = \mathop{\mathrm{colim}}\nolimits _ i \Omega _{S_ i/R_ i}.$

where $R \to S = \mathop{\mathrm{colim}}\nolimits (R_ i \to S_ i)$.

Proof. This is clear from the presentation of $\Omega _{S/R}$ given above. $\square$

Comment #1838 by Keenan Kidwell on

I think there should be something in the statement about $S/R$ being the colimit of the directed system in question.

There are also:

• 10 comment(s) on Section 10.130: Differentials

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).