Definition 23.4.1. Given a divided power ring $(A, I, \gamma )$ and a ring map $A \to B$ we say $\gamma$ extends to $B$ if there exists a divided power structure $\bar\gamma$ on $IB$ such that $(A, I, \gamma ) \to (B, IB, \bar\gamma )$ is a homomorphism of divided power rings.

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