An algorithm for computing invariants of linear actions of algebraic groups up to a given degree

Abstract

We propose an algorithm for computing invariant rings of algebraic groups which act linearly on affine space, provided that degree bounds for the generators are known. The groups need not be finite nor reductive, in particular, the algorithm does not use a Reynolds operator. If an invariant ring is not finitely generated the algorithm can be used to compute invariants up to a given degree.