Character of induced representation is induced class function of character
From Groupprops
Statement
Suppose is a subgroup of finite index in a group
. Suppose
is a finite-dimensional linear representation of
. Let
be the character of
. Then, we have:
character of the induced representation = induced class function