# Induced representation from trivial representation of subgroup is permutation representation for action on coset space

From Groupprops

## Statement

Suppose is a normal subgroup of a group . Denote by the trivial representation of . Then, the induced representation can be viewed as a permutation representation. Specifically, the permutation representation is the group action on the left coset space by left multiplication.