Suppose we have a ring $R$ and a finite group $G$ acting on it, Is there a way to compute the invariant ring $R^G$ explicitly? Infact I am more interested in the case of affine ring and the symmetric group acting on it and I want to have the relations in the invariant ring explicitly.
More presicely, I think this should be a standard exercise buthave an algebra having finitely many generators and finitely many relation and the symmetric group acts on it. I want to have the relations in the invariant ring explicitly. I could not find ita way to do so in the books I will appreciate any referencehave seen so far.