The Stacks project

Remark 60.6.7. Let $A \to B$ be a ring map and let $(J, \delta )$ be a divided power structure on $B$. Set $\Omega _{B/A, \delta }^ i = \wedge ^ i_ B \Omega _{B/A, \delta }$ where $\Omega _{B/A, \delta }$ is the target of the universal divided power $A$-derivation $\text{d} = \text{d}_{B/A} : B \to \Omega _{B/A, \delta }$. Note that $\Omega _{B/A, \delta }$ is the quotient of $\Omega _{B/A}$ by the $B$-submodule generated by the elements $\text{d}\delta _ n(x) - \delta _{n - 1}(x)\text{d}x$ for $x \in J$. We claim Algebra, Lemma 10.132.1 applies. To see this it suffices to verify the elements $\text{d}\delta _ n(x) - \delta _{n - 1}(x)\text{d}x$ of $\Omega _ B$ are mapped to zero in $\Omega ^2_{B/A, \delta }$. We observe that

in $\Omega ^2_{B/A, \delta }$ as desired. Hence we obtain a divided power de Rham complex

which will play an important role in the sequel.