Character of induced representation is induced class function of character
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