Open main menu

Groupprops β

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