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. I think this should be a standard exercise but I could not find it so I will appreciate any reference.