A note on Brauer's induction theorem (Q5906505)

Let \(G\) be a finite group and let \(\omega\) be a primitive \(| G|\)- th root of unity in \(\mathbb{C}\). Let \(\pi\) denote a set of rational primes and for each \(p\in \pi\), let \(D_ p\) denote a collection of \(p\)- subgroups of \(G\) closed under taking subgroups and conjugates. Finally, choose a principal ideal domain \(R \geq \mathbb{Z}[\omega]\) such that each prime \(p\) lies in a prime ideal \({\mathfrak m}_ p\) of \(R\). For a fixed \(p \in \pi\) now \(RG\)-lattices \(M\) for which the localization \(M \otimes _ RR_{{\mathfrak m}_ p}\) is \(D_ p\)-projective. The span of their characters forms an ideal \(J(G,D_ p)\) in the character ring \(\text{char}(G)\). Let \(J(G,D)\) denote the span of characters of lattices for which the localization is \(D_ p\)-projective for each \(p \in \pi\). Furthermore, let \(E(G,D)\) be the ideal of \(\text{char}(G)\) spanned by characters induced from Brauer elementary subgroups whose Sylow \(p\)- subgroups are contained in \(D_ p\) for all \(p \in \pi\). Obviously, we have \(E(G,D) \subseteq J(G,D) \subseteq \bigcap_{p \in \pi} J(G,D_ p)\). In the note under review the authors prove that equality holds everywhere. The proof is reduced to the case \(| \pi| = 1\) which has been dealt with by the reviewer [in J. Algebra 58, 523-526 (1979; Zbl 0409.20004)]. Thus the authors' result is the global version of the reviewer's local one. As an application one has: Suppose that \(\chi \in \text{Irr}(G)\) and that for each prime \(p| | G|\), \(\chi\) belongs to a \(p\)-block with defect group \(D_ p\). Then \(\chi\) may be written as a a \(\mathbb{Z}\)-linear combination of characters induced from Brauer elementary subgroups whose Sylow \(p\)-subgroups are conjugate to subgroups of \(D_ p\) for all \(p\).