Generation of invariants (Q1818835): Difference between revisions

For \(G\) a group acting on the Weyl algebra \(A_{1}({\mathbb C}) ,\) this paper provides a method for finding explicit generators of the ring of invariants \(A_{1}({\mathbb C})^{G}.\) Computing \(A_{1}({\mathbb C})^{G}\) is accomplished by computing the ring of invariants \({\mathbb C}[x,y]^{G}\) and applying the results of \textit{T. A. Springer} [``Invariant theory'', Lect. Notes Math. 585 (1977; Zbl 0346.20020)]. Explicit generators are given in the cases where \(G\) is finite, which is a separate calculation for all of the possibilities for \(G\): cyclic, binary dihedral, binary tetrahedral, binary octahedral, and binary icosahedral. A Maple procedure is given at the end to facilitate the computations. In addition, the above method described is generalized to find the ring of invariants of an almost normalizing extension \(R\) over a commutative ring \(C\) under the linear action of a finite group \(G\) in the case where \(|G|\) is invertible in \(C\), however a set of explicit generators for (the invariants of the associated graded ring) \(\text{gr}(R)^{G}\) must be known. Here \(R^{G}=C[\Psi (g_{1}) ,\Psi (g_{2}) ,\ldots ,\Psi (g_{m}) ],\) where the \(g_{i}\) are homogeneous elements that generate \(\text{gr}(R)^{G}\) and \(\Psi \) a certain function defined in the paper.