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.