Explicit and canonical Dress induction. (Q813320): Difference between revisions

Let \(G\) be a finite group, \(F\) be an algebraically closed field of characteristic \(p>0\) and \(a(FG)\) denote the Green ring of the finite group \(G\). The authors prove different versions of Dress' induction theorem and a canonical integral induction formula. Let \(U,U'\) be right \(FG\) modules, we write \(U'\mid U\) if \(U'\) is isomorphic to a direct summand of \(U\). If \(H\) is a subgroup of \(G\) let \(U_H\) denote the restricted \(H\)-module and if \(V\) is a right \(FH\)-module let \(V^G\) denote the induced module. The strong version of Dress' induction theorem is: Theorem 3.3. Let \(U\) be an indecomposable right \(FG\)-module with vertex \(D\) and source \(Z\). Then, the following identity holds in the Green ring of \(FG\): \[ [U]=\sum_{i=1}^n a_i[V_i^G], \] for integers \(a_i\), indecomposable right \(FH\)-modules \(V_i\) and subgroups \(H_i\). Moreover, \(V_i\) has vertex \(D_i=O_p(H_i)\leq D\) and source \((V_i)_{D_i}\mid Z_{D_i}\), and \(H_i/D_i\) is an elementary \(p'\)-group. On the other hand, for each intermediate group \(D\leq H\leq G\), let \(\text{mod}_{FH}^D\) be the category of direct summands of indecomposable right \(FH\)-modules with vertex \(D\), \(M(H)\) be the free Abelian group on all elements \([V]\) in \(a(FH)\) and \(V\in\text{mod}_{FH}^D\), let \({\mathcal B}(H)\subset M(H)\) be those \([V]\) with \(V\in\text{mod}_{FH}^D\) and \(V_H\) is indecomposable. Lastly, let \({\mathcal M}(H)\) be the set of pairs \((K,[V])\) with \(D\leq K\leq H\leq G\) and \([V]\in{\mathcal B}(H)\). The authors' canonical induction formula is then: Theorem 4.4. For every intermediate group \(D\leq H\leq G\) and every \(V\in\text{mod}_{FH}^D\) we have \[ a_H(V)=\sum_{\sigma=((H_0,[W_0])<\cdots<(H_n,[W_n]))} (-1)^n\tfrac{|N_H(\sigma)/H_0)_{p'}|}{|N_H(\sigma)/H_0|}m_{W_n}(V_{H_n})[H_0,[W_0]]_H, \] where the sum is over a set of representatives \(\sigma\) of the \(H\)-orbits of strictly increasing chains in \({\mathcal M}(H)\), and \(N_H(\sigma)\) denotes the stabilizer of \(\sigma\) in \(H\) under the conjugation action. Moreover, the coefficients \(\tfrac{|N_H(\sigma)/H_0)_{p'}|}{|N_H(\sigma)/H_0|}m_{W_n}(V_{H_n})\) are integers.