Published online by Cambridge University Press: 20 November 2018
The characters of the representations of a finite group G over a field K of characteristic zero generate a ring oK(G) of functions on G, the K-character ring of G, which is readily seen to be Zϕ1 + . . . + Zϕn, where Z is the ring of rational integers and ϕ1, . . . , ϕn are the characters of the different irreducible representations of G over K. The theorem that every irreducible representation of G over an algebraically closed field Ω of characteristic zero is equivalent to a representation of G over the subfield of Ω which is generated by the g0th roots of unity (g0 the exponent of G) was proved by Brauer (4) via the theorems that
(1) OΩ(G) is additively generated by the induced characters of representations of elementary subgroups of G, and
(2) the irreducible representations over 12 of any elementary group are induced by one-dimensional subgroup representations (3).