1: \begin{abstract}

2: Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that

3: $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also polynomial.

4: This contrasts with the case of \emph{linear and graded} group actions with polynomial rings of invariants,

5: where the classical theorem of

6: Chevalley-Shephard-Todd and Serre requires $G$ to be generated by pseudo-reflections.

7: \\

8: Our result is part of a general theory of ``trace surjective $G$-algebras", which, in

9: the case of $p$-groups, coincide with the Galois ring-extensions in the sense of \cite{chr}.

10: We consider the \emph{dehomogenized symmetric algebra} $D_k$, a polynomial ring with non-linear $G$-action, containing $U$ as a retract and we show that $D_k^G$ is a polynomial ring.

11: Thus $U$ turns out to be \emph{universal} in the sense that

12: every trace surjective $G$-algebra can be constructed from $U$ by ``forming

13: quotients and extending invariants". As a consequence we obtain a general structure theorem for Galois-extensions with given $p$-group as Galois group and any prescribed

14: commutative $k$-algebra $R$ as invariant ring. This is a generalization of the Artin-Schreier-Witt theory of modular Galois field extensions of degree $p^s$.

15: \end{abstract}