Loading [MathJax]/extensions/tex2jax.js

The Stacks project

Lemma 23.3.4. The category of divided power rings has all colimits.

Proof. The empty colimit is $\mathbf{Z}$ with divided power ideal $(0)$. Let's discuss general colimits. Let $\mathcal{C}$ be a category and let $c \mapsto (A_ c, I_ c, \gamma _ c)$ be a diagram. Consider the functor

\[ F(B, J, \delta ) = \mathop{\mathrm{lim}}\nolimits _{c \in \mathcal{C}} Hom((A_ c, I_ c, \gamma _ c), (B, J, \delta )) \]

Note that any $f = (f_ c)_{c \in C} \in F(B, J, \delta )$ has the property that all the images $f_ c(A_ c)$ generate a subring $B'$ of $B$ of bounded cardinality $\kappa $ and that all the images $f_ c(I_ c)$ generate a divided power sub ideal $J'$ of $B'$. And we get a factorization of $f$ as a $f'$ in $F(B')$ followed by the inclusion $B' \to B$. Also, $F$ commutes with limits. Hence we may apply Lemma 23.3.3 to see that $F$ is representable and we win. $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 23.3: Divided power rings

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.