Infinitesimal Invariants of Algebraic Groups (Q4024907)

Let \(G\) be a semisimple, simply connected, affine algebraic group over an algebraically closed field \(K\) of characteristic \(p > 0\). Let \(A = K[G]\) be the coordinate ring of \(G\) and let \(G_ r\) be the \(r\)-th infinitesimal subgroup of \(G\) (for a positive integer \(r\)). Then \(G\), and hence \(G_ r\), acts on \(A\) by conjugation. It is proved that the natural map \(J \otimes_{J^{(p^ r)}} A^{(p^ r)} \to A^{G_ r}\) is a \(G\)-equivariant isomorphism of \(K\)- algebras (here \(J = A^ G\), the algebra of \(G\)-invariants, and \(A^{(p^ r)}\) (resp. \(J^{(p^ r)}\)) is the algebra of \(p^ r\)-th powers of elements of \(A\) (resp. \(J\))).