Induction for finite groups revisited (Q1909724): Difference between revisions

Let \(G\) be a finite group and let \(I(G)\) be a family of subgroups of \(G\) closed under conjugation and taking subgroups. Let \(F\) be a Green ring functor on \(G\), such that for each subgroup \(H\) of \(G\) every \(\mathbb{Z}\)-torsion element of \(F(H)\) is nilpotent. In ``Induction and structure theorems for orthogonal representations of finite groups'' [Ann. Math., II. Ser. 102, 291-325 (1975; Zbl 0315.20007)] \textit{A. W. M. Dress} showed that the functor \(F\) is \(I(G)\)-hypercomputable if and only if the induction homomorphism \[ \text{Ind}^G_{I(G)} (\mathbb{Q} \otimes F) : \bigoplus_{H \in I(G)} \mathbb{Q} \otimes F(H) \to \mathbb{Q} \otimes F(G) \] is surjective. The author supplements this result by showing that these conditions are also equivalent to the injectivity of the restriction homomorphism \[ \text{Res}^G_{I(G)} (\mathbb{Q} \otimes F) : \mathbb{Q} \otimes F(G) \to \prod_{H \in I(G)} \mathbb{Q} \otimes F(H). \]