A note on the character ring \(\overline R_K(G)\). (Q854591)

Let \(G\) be a finite group, let \(K\) be a field of characteristic 0 and let \(\overline R_K(G)\) be the ring of virtual characters of \(G\) with values in \(K\). Further, let \(\Gamma_K\) be the Galois group of the cyclotomic extension \(K(\root e\of 1)/K\) where \(e\) is the exponent of \(G\). A subgroup \(H\) of \(G\) is said to be \(\Gamma_K\)-\(p\)-elementary (\(p\) prime) if it is the semidirect product of a \(p\)-group \(P\) and a cyclic group \(C\) of order coprime to \(p\), and the conjugation action of \(P\) on \(C\) is given by the action of \(\Gamma_K\) on \(C\). The author proves a variant of Brauer's Induction Theorem: if \(\overline R_K(G)\) is induced from a family \(\mathcal F\) of subgroups of \(G\), then each \(\Gamma_K\)-\(p\)-elementary subgroup of \(G\) is contained in a conjugate of a member of \(\mathcal F\). A similar result is obtained for the ring of generalized \(K\)-characters of \(G\).