Invariants of linearly reductive formal group actions (Q1082395)

Let F be a formal group over an algebraically closed field k. The author defines a certain category, PG(F), called ''the category of profinitely graded F-modules''. He then defines a PG(F)-algebra as a k-algebra A, together with an action of F on A and a profinite-grading of A as an F- module such that for each \(y\in A^ F\), the map \(\ell_ y: A\to A,\ell_ y(a)=ya\), for \(a\in A\) is a morphism in PG(F). Suppose that F is linearly reductive, i.e., for any finite-dimensional F-module V and \(0\neq v\in V^ F\), there exists an \(f\in (V^*)^ F\) such that f(v)\(\neq 0\). The main result in this paper is that if F is linearly reductive and A is a Noetherian PG(F)-algebra, then so is \(A^ F\). This paper makes an important contribution to the invariant theory of formal groups.