Taking invariants of finite groups acting on rings