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

From Groupprops

This fact is related to: linear representation theory
View other facts related to linear representation theory | View terms related to linear representation theory

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.

Related facts