Induced representation from regular representation of subgroup is regular representation of group

From Groupprops
Jump to: navigation, search

Statement

The basic statement is as follows: if H is a subgroup of a group G, then the induced representation of G from the regular representation of H equals the regular representation of G.

The statement can be made in terms of characters (as class functions, in the sense of induced class function), in terms of permutation representations, or in terms of linear representations.

Related facts