\operatorname{Ind}(f)
\operatorname{Ind}(f)(s)=
1 | |
|H| |
\sum | |
t\inG, t-1st\inH |
f(t-1st).
If f is a character of the representation W of H, then this formula for
\operatorname{Ind}(f)
The basic result on induced characters is Brauer's theorem on induced characters. It states that every irreducible character on G is a linear combination with integer coefficients of characters induced from elementary subgroups.