On the decomposition map of Grothendieck groups (Q1812939): Difference between revisions

Let \((K,A,k)\) be a \(p\)-modular system with \(A\) complete. Let \(G\) be a finite group and \(R_ K(G)\) (or \(R_ k(G))\) be the Grothendieck group generated by f.g. \(KG\)(or \(kG\))-modules. For every subgroup \(H\) of \(G\), we denote by \(P_ A(G| H)\) (or \(P_ k(G| H))\) the subgroup of \(R_ K(G)\) (or \(R_ k(G))\) generated by all \(H\)-projective \(AG\)(or \(kG\))-modules. Let \(d_ H: P_ A(G| H)\to P_ k(G| H)\) be the restriction of the decomposition map \(d: R_ K(G)\to R_ k(G)\) on \(P_ A(G| H)\). M. Broué has proved in 1976 that \(d_ H\) is surjective if either \(k\) is sufficiently large for \(G\) or \(H\trianglelefteq G\). In this paper, it is proved that \(d\) is surjective by using Broué's result and Green correspondence.