1: \begin{abstract}

2: We consider a finite dimensional $\kk

3:    G$-module $V$ of a $p$-group

4: $G$ over a field $\kk$ of characteristic $p$. We describe a

5: generating set for the corresponding Hilbert Ideal. In case $G$ is

6: cyclic this yields that the algebra $\kk[V]_G$ of coinvariants is

7: a free module over its subalgebra generated by $\kk G$-module

8: generators of $V^*$. This subalgebra is a quotient of a polynomial

9: ring by pure powers of its variables. The coinvariant ring was

10: known to have this property only when $G$ was cyclic of prime

11: order,  \cite{SezerCoinv}. In addition, we show that if $G$

12:   is the Klein 4-group and $V$ does not contain an indecomposable summand isomorphic to the

13:    regular module, then the Hilbert Ideal  is a complete

14:    intersection, extending a result of the second author and R. J. Shank \cite{SezerShank}.

15: \end{abstract}