# Questions tagged [divided-powers]

The divided-powers tag has no usage guidance.

5
questions

**9**

votes

**2**answers

362 views

### Divided power algebra is artinian as a module over the polynomial ring

I already asked this on math.stackexchange.com, but did not receive much responses. I hope this is also appropriate for mathoverflow.
In the paper Homological algebra on a complete intersection, with ...

**6**

votes

**0**answers

211 views

### Universal property of $A_{\mathrm{cris}}/p^n$

It is well known that the ring $A_{\mathrm{cris}}$ of Fontaine is the universal $p$-adically complete divided power thickening of $\mathcal{O}_{\mathbb{C}_p}$ over $\mathbb{Z}_p$; in fact, this is one ...

**4**

votes

**0**answers

185 views

### Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$.
Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...

**2**

votes

**1**answer

367 views

### On the divided power ring over the integers

Consider the divided-power ring $A := \mathbb Z \langle x_1, \ldots, x_n \rangle$ consisting of $\mathbb Z$-linear combinations of divided-power monomials of the form $x_1^{(a_1)} \cdots x_n^{(a_n)}$; ...

**11**

votes

**0**answers

282 views

### Subrings of invariants in divided power algebras

I am wondering to what extent the functors "ring of invariants under a group action $G$"
and "divided power envelope with respect to a $G$-stable ideal" commute.
To be precise, let $R$ be a ...