A degree bound for rings of arithmetic invariants

David Mundelius

Consider a Noetherian domain $R$ and a finite group $G\subseteq G{l}_n(R)$. We prove that if the ring of invariants $R[x_1,\dots ,x_n{]}^G$ is a Cohen-Macaulay ring, then it is gene…