Computation of polynomial invariants of finite groups.

If G is a finite subgroup of GL(n,K), K a field of characteristic 0, it is well known that the algebra I of polynomial invariants of G is Cohen-Macaulay. Consequently I has a subalgebra J of Krull dimension n so that I is a free J-module of finite rank. A sequence (f₁,...,f(n);g₁,...,g(m)) of homogeneous invariants is a Cohen-Macaulay (or CM) basis if J = K[f₁,...,f(n)] and {g₁,...,g(m)} is a basis for I as a J-module. We discuss an algorithm, and an implementation using the systems GAP and Maple, for the calculation of CM-bases