Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let H be a subgroup of G and V the trivial representation of C[H]. Prove that we have an isomorphism of C[G]-modules between $\mathrm{Ind}_{H}^{G}(V)$ and C[G/H].

Thanks for your help.

share|cite|improve this question

For instance, one of the standard descriptions of the induced module $\operatorname{Ind}_H^G(V)$ is as a direct sum $\bigoplus_{s \in S} s V$ of copies of $V$ indexed by a set $S$ of coset representatives of $G/H$ with a certain natural $G$-action. See for instance Lemma 2.1 in these notes. (I have no particular connection to these course notes; they just came up as one of the first hits upon googling "induced module".)

What you are trying to prove follows almost immediately from this description of the induced module. Indeed, in the aforementioned lecture notes, your exercise appears as Example 1 on the following page (with no further explanation). If you can't see how to deduce this, you should probably book up (and possibly ask further questions) on the definition of an induced module.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.