When a finite group G acts
faithfully on a graded integral domain S which is an algebra over a field k, such as a
polynomial ring, we consider S as a kG-module. We show that S is asymptotically
mostly projective in each degree, and also that it is in fact mostly free in an
appropriate sense. Similar results also hold for filtered algebras, such as power series
rings.
|