I already asked this on [math.stackexchange.com](https://math.stackexchange.com/questions/2979095/divided-power-algebra-is-artinian-as-a-module-over-the-polynomial-ring), but did not receive much responses. I hope this is also appropriate for mathoverflow.


In the paper *Homological algebra on a complete intersection, with an application to group representations* by Eisenbud I found the following argument that I do not understand:


Suppose $B$ is a local artinian ring (in fact in the context it is a quotient of a regular ring by a maximal regular sequence, i.e a complete intersection). Then we can take the divided power algebra $D^n(B)$ for $n \in \mathbb{N}\_0$, which is a free $B$-module, generated by elements $z^{(\alpha)}$ where $\alpha \in \mathbb{N}\_0^n$.


This is actually a module over the polynomial ring $B[t\_1,\dots,t\_n]$, with the action defined by $t\_i . z^{(\alpha)} := z^{(\alpha - e\_i)}$. Here $e\_i = (0,\dots,0,1,0,\dots,0)$ denotes the $i$-th basis vector.


The algebra structure is defined by $z^{(\alpha)}\cdot z^{(\beta)} = \frac{(\alpha + \beta)!}{\alpha!\beta!}z^{(\alpha + \beta)}$, though that is not relevant to my question.


Eisenbud now writes $$D^n(B) = \bigoplus\_{k \in \mathbb{N}\_0} \text{Hom}\_B(B[t\_1,\dots,t\_n]\_k, B)$$
which is clear, because the $\{z^{(\alpha)} : |\alpha|=k\}$ might be considered as the dual basis to $\{t^\alpha : |\alpha|=k\}$.


The argument I do not understand is that Eisenbud writes



> 
> $D^n(B)$ is artinian, because it is the dual of a noetherian $B[t\_1,\dots,t\_n]$-module.
> 
> 
> 


Some thoughts I had about this:


1. This claim is actually false if $B$ itself is not artinian, because I might choose an infinite descending chain $I\_0 \subset I\_1 \subset \dots$ and then $I\_0 \cdot D^n(B) \subset I\_1 \cdot D^n(B) \subset \dots$ would be an infinite descending sequence in $D^n(B)$. So I would expect some argument using that $B$ is artinian.
2. To show that $D^n(B)$ is artinian, would it be enought to consider only graded submodules? I already asked this in a different question, but here lies my motivation, see <https://math.stackexchange.com/questions/2978049/ascending-descending-chain-condition-on-graded-modules>
3. If we had an inclusion reversing bijection $$\{N \subset D^n(B) \text{ submodule}\} \rightarrow \{I \subset B[t\_1,\dots,t\_n] \text{ ideal}\}$$ this would proof the claim, but I don't see any. Taking annihilators is an inclusion reversing map, but does not seem to be bijective, as a fellow student of me found the following counterexample:


> 
> Let $B = \mathbb{Z}/8, n = 1$ and let $M\subset D^1(B)$ be the submodule generated by all elements of the form $2 z^{(k)} + z^{(k - 1)}$ for $k \in \mathbb{N}$. This is not the full module, because $M \cap D^1(B)\_0 = (2) \subset B$, but its annihilator is $(0) \subset B[t\_1]$: For any $0\neq f\in B[t\_1]$, let $d = \text{deg}(f)$, then $f\cdot (2z^{(d+1)} + z^{(d)})$ can not be $0$, because $t\_1$ maps $2z^{(k)} + z^{(k-1)}$ to $2z^{(k - 1)} + z^{(k - 2)}$.
> 
> 
>



Divided power algebra is artinian as a module over the polynomial ring
So we solved this today, in a way similar to how the Hilbert basis theorem might be proved. First show the following lemma, then the claim that $D^n(B)$ is artinian as a module over $B[t\_1,\dotsc,t\_n]$ is a direct consequence.


**Lemma** If $M$ is an artinian $R$-module, then $D^1 \otimes M$ is an artinian $R[t]$ module.


*Proof:* We can think of elements in $D^1 \otimes M$ as polynomials with coefficients in $M$. So each element $f$ has a degree $\deg f$ and a leading coefficient $lc(f)$. Now consider a descending chain
$$ N\_1 \supset N\_2 \supset \dots$$
an set $M\_{k, l } := \{ lc(f) : f \in N\_k, \deg(f) = l \} \subset M$. Clearly 
$M\_{k,l}\supset M\_{k+1,l}$ and $M\_{k,l}\supset M\_{k,l+1}$.


Now observe that $N\_k = N\_{k+1}$ if and only if $M\_{k,l} = M\_{k+1,l}$ for all $l$. "$\Rightarrow$" is clear, so for "$\Leftarrow$" consider $f \in N\_k \setminus N\_{k+1}$ with minimal degree. Then there is some $g \in N\_{k+1}$ with $lc(f) = lc(g)$ and $\deg(f) = \deg(g)$. So $f - g \in N\_k\setminus N\_{k+1}$ has lower degree, which is a contradiction.


Next consider the diagram
\begin{align\*}
\vdots && \vdots && \vdots \\
\cap && \cap && \cap\\
M\_{3,1} &\supset& M\_{3,2} &\supset& M\_{3,3} &\supset& \dots\\
\cap && \cap && \cap\\
M\_{2,1} &\supset& M\_{2,2} &\supset& M\_{2,3} &\supset& \dots\\
\cap && \cap && \cap \\ 
M\_{1,1} &\supset& M\_{1,2} &\supset& M\_{1,3} &\supset& \dots
\end{align\*}
Now the sequence $M\_{1,1} \supset M\_{2,2} \supset M\_{3,3} \supset \dots$ has to stabilize at some point, because $M$ is artinian, say at $M\_{k,k}$. Now it is easy to see that $M\_{n,m} = M\_{k,k}$ for all $n,m\geq k$. Thus there are only finitely many rows in the diagram which are not yet equal, but they will equal after finitely many steps. So the criterion above applies and we see that the sequence $N\_k$ has to stabilize, proving the claim.


This directly proves the following


**Corollary** If $B$ is artinian, then $D^n(B)$ is artinian as a module over $B[t\_1,\dotsc,t\_n]$.


*Proof:* Apply the lemma inductively.


