Character of induced representation is induced class function of character

From Groupprops
Revision as of 22:58, 13 June 2012 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

Suppose H is a subgroup of finite index in a group G. Suppose \varphi is a finite-dimensional linear representation of H. Let \chi be the character of \varphi. Then, we have:

character of the induced representation \operatorname{Ind}_H^G(\varphi) = induced class function \operatorname{Ind}_H^G \chi