\(K_0\) of invariant rings and nonabelian \(H\) (Q1291075)

Let \(S\) be a commutative ring and let \(R=S^G\) denote the subring of invariants under the action of a finite group \(G\) on \(S\). The author gives a description of the kernel of the induction map \(\text{Ind}^S_R=K_0(f):K_0(R)\to K_0(S)\). Let \(\rho_H:H^1(G,GL(S))\to H^1(H,GL(S_H))\) denote the map that is given by restriction from \(G\) to \(H\) and the canonical map \(S\twoheadrightarrow S_H\). The main result asserts that \(\text{Ker(Ind}^S_R)\cong U(H^1(G,GL(S))) = \bigcap_H \text{Ker }\rho_H\), where \(H\) ranges over all cyclic (or, equivalently, all) subgroups of \(G\). In the final part several applications (e.g. to Galois actions, Hilbert's theorem 90, Picard groups, linear actions, multiplicative actions etc.) and problems are presented.