# 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.