Induced representation from regular representation of subgroup is regular representation of group
From Groupprops
Statement
The basic statement is as follows: if is a subgroup of a group
, then the induced representation of
from the regular representation of
equals the regular representation of
.
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.