Induced representation from trivial representation on normal subgroup factors through regular representation of quotient group

From Groupprops
Jump to: navigation, search