Induced representation from trivial representation on normal subgroup factors through regular representation of quotient group
From Groupprops
Statement
Suppose is a normal subgroup of a group
. Denote by
the trivial representation of
. Denote by
the regular representation of
and by
the quotient map. Then, the induced representation from
to
of
factors via
to
, i.e.,: