Let $G$ be an algebraic group over an algebraically closed field $k$ of arbitrary characteristic and let $U$ be the hyperalgebra of $G$. Recall that $U$ is defined as the subspace of the full linear dual of $k[G]$ consisting of elements that vanish on some power of the ideal $I \subseteq k[G]$ defining the identity in $G$. Then one has the standard degree filtration $U\_{\leq n}$ on $U$ given by setting $$ U\_{\leq n} := ( k[G]/I^{n+1} )^\* . $$


Set $\mathfrak g := $ Lie$(G)$. In characteristic 0, $U$ is just the enveloping algebra of $\mathfrak g$, and the PBW theorem tells us that the ring gr $ U $ is isomorphic to $S(\mathfrak g)$. Moreover, there is a $G$-equivariant symmetrization isomorphism $S(\mathfrak g) \to U$ of vector spaces over $k$, where we take the conjugation action of $G$ on $U$ (note that this is NOT an algebra isomorphism, however). Remark that the symmetrization isomorphism is given explicitly by $$ x\_1 \cdots x\_n \mapsto \frac 1 {n!} \sum\_{\sigma \in S\_n} x\_{\sigma(1)} \cdots x\_{\sigma(n)} . $$


Now assume that char $k = p > 0$. In this case, gr $U$ is a commutative algebra -- let's call it $S'(\mathfrak g)$ -- that is *not* a polynomial ring. (One way of seeing this is that the ring $S'(\mathfrak g)$ is infinitely generated as a $k$-algebra). Note that $S'(\mathfrak g)$ carries a natural $G$-module structure coming from the conjugation $G$-action on $U$. I'm wondering if one still can construct a $G$-equivariant "symmetrization" isomorphism $S'(\mathfrak g) \to U$ of $k$-vector spaces in this case as well. (Clearly the formula for the symmetrization morphism in characteristic 0 doesn't work, since $n!$ isn't invertible in $k$ for $n \geq p$).



Symmetrization for hyperalgebras in positive characteristic
I believe the answer to your question is yes, at least if $G$ is a simple, simply-connected algebraic group, and if the characteristic is good for $G$ (and does not divide $n+1$ in type $A\_n$). Check out the paper by Friedlander and Parshall, [Rational actions associated to the adjoint representation](http://numdam.org/numdam-bin/fitem?id=ASENS_1987_4_20_2_215_0), in Ann. scient. Ec. Norm. Sup., 4e serie, tome 20, no 2 (1987), p. 215-226.


