Lemma 23.4.2. Let $(A, I, \gamma )$ be a divided power ring. Let $A \to B$ be a ring map. If $\gamma$ extends to $B$ then it extends uniquely. Assume (at least) one of the following conditions holds

1. $IB = 0$,

2. $I$ is principal, or

3. $A \to B$ is flat.

Then $\gamma$ extends to $B$.

Proof. Any element of $IB$ can be written as a finite sum $\sum \nolimits _{i=1}^ t b_ ix_ i$ with $b_ i \in B$ and $x_ i \in I$. If $\gamma$ extends to $\bar\gamma$ on $IB$ then $\bar\gamma _ n(x_ i) = \gamma _ n(x_ i)$. Thus, conditions (3) and (4) in Definition 23.2.1 imply that

$\bar\gamma _ n(\sum \nolimits _{i=1}^ t b_ ix_ i) = \sum \nolimits _{n_1 + \ldots + n_ t = n} \prod \nolimits _{i = 1}^ t b_ i^{n_ i}\gamma _{n_ i}(x_ i)$

Thus we see that $\bar\gamma$ is unique if it exists.

If $IB = 0$ then setting $\bar\gamma _ n(0) = 0$ works. If $I = (x)$ then we define $\bar\gamma _ n(bx) = b^ n\gamma _ n(x)$. This is well defined: if $b'x = bx$, i.e., $(b - b')x = 0$ then

\begin{align*} b^ n\gamma _ n(x) - (b')^ n\gamma _ n(x) & = (b^ n - (b')^ n)\gamma _ n(x) \\ & = (b^{n - 1} + \ldots + (b')^{n - 1})(b - b')\gamma _ n(x) = 0 \end{align*}

because $\gamma _ n(x)$ is divisible by $x$ (since $\gamma _ n(I) \subset I$) and hence annihilated by $b - b'$. Next, we prove conditions (1) – (5) of Definition 23.2.1. Parts (1), (2), (3), (5) are obvious from the construction. For (4) suppose that $y, z \in IB$, say $y = bx$ and $z = cx$. Then $y + z = (b + c)x$ hence

\begin{align*} \bar\gamma _ n(y + z) & = (b + c)^ n\gamma _ n(x) \\ & = \sum \frac{n!}{i!(n - i)!}b^ ic^{n -i}\gamma _ n(x) \\ & = \sum b^ ic^{n - i}\gamma _ i(x)\gamma _{n - i}(x) \\ & = \sum \bar\gamma _ i(y)\bar\gamma _{n -i}(z) \end{align*}

as desired.

Assume $A \to B$ is flat. Suppose that $b_1, \ldots , b_ r \in B$ and $x_1, \ldots , x_ r \in I$. Then

$\bar\gamma _ n(\sum b_ ix_ i) = \sum b_1^{e_1} \ldots b_ r^{e_ r} \gamma _{e_1}(x_1) \ldots \gamma _{e_ r}(x_ r)$

where the sum is over $e_1 + \ldots + e_ r = n$ if $\bar\gamma _ n$ exists. Next suppose that we have $c_1, \ldots , c_ s \in B$ and $a_{ij} \in A$ such that $b_ i = \sum a_{ij}c_ j$. Setting $y_ j = \sum a_{ij}x_ i$ we claim that

$\sum b_1^{e_1} \ldots b_ r^{e_ r} \gamma _{e_1}(x_1) \ldots \gamma _{e_ r}(x_ r) = \sum c_1^{d_1} \ldots c_ s^{d_ s} \gamma _{d_1}(y_1) \ldots \gamma _{d_ s}(y_ s)$

in $B$ where on the right hand side we are summing over $d_1 + \ldots + d_ s = n$. Namely, using the axioms of a divided power structure we can expand both sides into a sum with coefficients in $\mathbf{Z}[a_{ij}]$ of terms of the form $c_1^{d_1} \ldots c_ s^{d_ s}\gamma _{e_1}(x_1) \ldots \gamma _{e_ r}(x_ r)$. To see that the coefficients agree we note that the result is true in $\mathbf{Q}[x_1, \ldots , x_ r, c_1, \ldots , c_ s, a_{ij}]$ with $\gamma$ the unique divided power structure on $(x_1, \ldots , x_ r)$. By Lazard's theorem (Algebra, Theorem 10.80.4) we can write $B$ as a directed colimit of finite free $A$-modules. In particular, if $z \in IB$ is written as $z = \sum x_ ib_ i$ and $z = \sum x'_{i'}b'_{i'}$, then we can find $c_1, \ldots , c_ s \in B$ and $a_{ij}, a'_{i'j} \in A$ such that $b_ i = \sum a_{ij}c_ j$ and $b'_{i'} = \sum a'_{i'j}c_ j$ such that $y_ j = \sum x_ ia_{ij} = \sum x'_{i'}a'_{i'j}$ holds1. Hence the procedure above gives a well defined map $\bar\gamma _ n$ on $IB$. By construction $\bar\gamma$ satisfies conditions (1), (3), and (4). Moreover, for $x \in I$ we have $\bar\gamma _ n(x) = \gamma _ n(x)$. Hence it follows from Lemma 23.2.4 that $\bar\gamma$ is a divided power structure on $IB$. $\square$

 This can also be proven without recourse to Algebra, Theorem 10.80.4. Indeed, if $z = \sum x_ ib_ i$ and $z = \sum x'_{i'}b'_{i'}$, then $\sum x_ ib_ i - \sum x'_{i'}b'_{i'} = 0$ is a relation in the $A$-module $B$. Thus, Algebra, Lemma 10.38.11 (applied to the $x_ i$ and $x'_{i'}$ taking the place of the $f_ i$, and the $b_ i$ and $b'_{i'}$ taking the role of the $x_ i$) yields the existence of the $c_1, \ldots , c_ s \in B$ and $a_{ij}, a'_{i'j} \in A$ as required.

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).