Explicit generators of the invariants of finite groups (Q1354657): Difference between revisions

Let \(R\) be a commutative ring with 1 and let \(A\) be a finitely generated commutative \(R\)-algebra. Let \(G\) be a finite group of \(R\)-algebra automorphisms of \(A\). In the case that \(R\) is a field of characteristic 0, Noether constructed a finite set of \(R\)-algebra generators which are invariants of \(G\). The paper under review proves that the same construction produces a set of generators of the invariants of \(G\) when \(|G|\)! is invertible in \(R\). Generators of the invariants of \(G\) are also explicitly described in the case that \(G\) is solvable and \(|G|\) is invertible in \(R\).