Induction and computation of Bass nil groups for finite groups (Q429569)

Let \(G\) be a finite group. The Bass nil groups, \(NK_n(RG)\), \(n\in\mathbb{Z}\) are defined as the kernel of the homomorphism \(K_n(RG[t])\to K_n(R)\), induced by the augmentation map \(\epsilon:RG[t]\to R\), \(\epsilon(t)=0\). These can also be identified as \(NK_n(RG)\cong \tilde{K}(NIL(RG))\), where this last groups are the \(K\)-theory of the category \(NIL(RG)\) of nilpotent endomorphisms \((Q,f)\) on finitely generated projective \(RG\)-modules. The authors prove a new type of induction theorem from elementary groups that computes these nil groups. The setup is as follows: Let \(p\) be a prime and \(\mathfrak{B}_p(G)\) the set of finite \(p\)-subgroups of \(G\), \(\mathfrak{E}_p(G)\) the set of \(p\)-elementary subgroups of \(G\). Given an elementary \(P\) subgroup of \(G\), \( E=C\times P\), where \(P\) is a finite \(p\) group and \(C\) a finite cyclic group of order prime to \(p\), let \(I(g)=\{ k\in\mathbb{N}|\text{ a prime }q \text{ divides } k \Rightarrow q\text{ divides the order of } g\}\). Moreover, for each \(P\in\mathfrak{B}_p(G)\), let \[ C_G^\bot(P)=\{g\in G|gx=xg, \forall x\in P, \text{ and }p\nmid |g|\}, \] for each \(g\in C_G^\bot(P)\), the authors define the following functor \(\phi(P,g): NIL(RP)\to NIL(RG)\) sending \((Q,f)\) to \((RG\otimes_{RP}Q, x\otimes q\mapsto xg\otimes f(q))\). This defines a homomorphism \(\phi(P,g): NK_n(RP)\to NK_n(RG)\) for all \(n\in \mathbb{Z}\). Moreover, for each \(p\)-subgroup \(P\) of \(G\), define a homomorphism \(\Phi_p: NK_n(RP)\to NK_n(RG)\) by the formula \[ \Phi_P=\sum_{g\in C_G^\bot(P), k\in I(g)}V_k\circ \phi(P,g), \] where \(V_k:NK_n(RG)\to NK_n(RG)\) is the Verschiebung homomorphism, \(k\geq 1\). The main theorem is the following: \textbf{Theorem A. } Let \(R\) be an associative ring with unit and \(G\) be a finite group. Then for each prime \(p\), the map \[ \Phi=(\Phi_p): \bigoplus_{P\in \mathfrak{B}_p(G)} NK_n(RP)_{(p)}\to NK_n(RG)_{(p)}, \] is surjective for all \(n\in\mathbb{Z}\) after localizing at \(p\).