K₀ of invariant rings and nonabelian H

DOI10.1006/JABR.1998.7725MaRDI QIDQ1291075zbMATH OpenOpenAlexFDO

Publication date 18 October 1999

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9808032

Galois action Grothendieck group group action Hilbert's theorem 90 induction map non-abelian 1-cohomology ring of invariants

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Grothendieck groups, (K)-theory and commutative rings (13D15) Group actions on varieties or schemes (quotients) (14L30)

Abstract: We give a description of the kernel of the induction map K_0(R)->K_0(S), where S is a commutative ring and R is the ring of invariants of the action of a finite group G on S. The description is in terms of H^1(G,GL(S)).

Review text

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: \(K_0\) of invariant rings and nonabelian \(H\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1291075)