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