Definition 60.2.2. Let $(A, I, \gamma )$ be a divided power ring. Let $A \to B$ be a ring map. Let $J \subset B$ be an ideal with $IB \subset J$. The divided power algebra $(D, \bar J, \bar\gamma )$ constructed in Lemma 60.2.1 is called the divided power envelope of $J$ in $B$ relative to $(A, I, \gamma )$ and is denoted $D_ B(J)$ or $D_{B, \gamma }(J)$.

There are also:

• 4 comment(s) on Section 60.2: Divided power envelope

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