The Stacks project

Proof. Choose a set of generators $z_ i \in S$, $i \in I$ for $S$ as an $R$-algebra. Let $P = R[\{ x_ i\} _{i \in I}]$ denote the polynomial ring on generators $x_ i$, $i \in I$. Consider the $R$-algebra map $P \to S$ which maps $x_ i$ to $z_ i$. Let $J = \mathop{\mathrm{Ker}}(P \to S)$. Consider the map

see Lemma 10.131.9. This is surjective since $\Omega _{S/R} = 0$ by assumption, see Lemma 10.148.2. Note that $\Omega _{P/R}$ is free on $\text{d}x_ i$, and hence the module $\Omega _{P/R} \otimes _ P S$ is free over $S$. Thus we may choose a splitting of the surjection above and write

Let $J^2 \subset J' \subset J$ be the ideal of $P$ such that $J'/J^2$ is the second summand in the decomposition above. Set $S' = P/J'$. We obtain a short exact sequence

and we see that $J/J' \cong K$ is a square zero ideal in $S'$. Hence

is a diagram as above. In fact we claim that this is an initial object in the category of diagrams. Namely, let $(I \subset A, a, b)$ be an arbitrary diagram. We may choose an $R$-algebra map $\beta : P \to A$ such that

is commutative. Now it may not be the case that $\beta (J') = 0$, in other words it may not be true that $\beta$ factors through $S' = P/J'$. But what is clear is that $\beta (J') \subset I$ and since $\beta (J) \subset I$ and $I^2 = 0$ we have $\beta (J^2) = 0$. Thus the “obstruction” to finding a morphism from $(J/J' \subset S', 1, R \to S')$ to $(I \subset A, a, b)$ is the corresponding $S$-linear map $\overline{\beta } : J'/J^2 \to I$. The choice in picking $\beta$ lies in the choice of $\beta (x_ i)$. A different choice of $\beta$, say $\beta '$, is gotten by taking $\beta '(x_ i) = \beta (x_ i) + \delta _ i$ with $\delta _ i \in I$. In this case, for $g \in J'$, we obtain

Since the map $\text{d}|_{J'/J^2} : J'/J^2 \to \Omega _{P/R} \otimes _ P S$ given by $g \mapsto \frac{\partial g}{\partial x_ i}\text{d}x_ i$ is an isomorphism by construction, we see that there is a unique choice of $\delta _ i \in I$ such that $\beta '(g) = 0$ for all $g \in J'$. (Namely, $\delta _ i$ is $-\overline{\beta }(g)$ where $g \in J'/J^2$ is the unique element with $\frac{\partial g}{\partial x_ j} = 1$ if $i = j$ and $0$ else.) The uniqueness of the solution implies the uniqueness required in the lemma. $\square$