Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

If $U$ is a representation of $G$ and $W$ is a representation of $H$, then why is $$ U \otimes \operatorname{Ind}(W) = \operatorname{Ind}(\operatorname{Res}(U) \otimes W)$$

I've tried to simply use the definitions to prove they are equal, but I've hit a road block.

share|cite|improve this question
up vote 3 down vote accepted

I take it $H \leq G$. These reps are not equal, but they are isomorphic. It will be more natural to prove that $ (W \otimes U|_H) \uparrow^G \cong (W \uparrow ^G) \otimes U $, but this is equivalent as $A\otimes B \cong B \otimes A$ for modules over group algebras.

We want a module map $kG \otimes_H (W \otimes U|_H) \to (kG\otimes_H W) \otimes U$. Take $\beta: x\otimes (w \otimes u) \mapsto (x\otimes w) \otimes x u $. This is easily verified to be a module map (and well-defined: there is an issue because of the $\otimes_H$).

Now define $\alpha : (kG\otimes_H W) \otimes U \to kG \otimes_H (W \otimes U|_H)$ by $(x \otimes w) \otimes u \mapsto x \otimes ( w \otimes x^{-1} u )$. This is inverse to $\beta$, and is well-defined and a module map: thus the two modules are isomorphic.

Surprisingly, all this generalises to arbitrary Hopf algebras (even non-cocommutative ones). The maps are slightly more messy to write down though.

share|cite|improve this answer
Is there a proof of this using Frobenius reciprocity? I think there is, and it'd be nice to know (nicer than having to explicitly define an isomorphism, at least) – Bey Nov 12 '12 at 22:19

Here is a proof ${\rm Ind}_H^G(V\otimes{\rm Res}_H^GW)\cong({\rm Ind}_H^GV)\otimes W$ are isomorphic using the categorial version of Frobenius reciprocity (that $\rm Ind$, $\rm Res$ are adjoint functors), as well as three other lemmas:

Lemma I. If $\hom_G(A,U)\cong\hom_G(B,U)$ for all $U\in{\rm Rep}(G)$ then $A\cong B$.

Lemma II (Frobenius reciprocity). $\hom_G({\rm Ind}_H^GA,B)\cong\hom_H(A,{\rm Res}_H^GB)$.

Lemma III (currying). $\hom_H(A\otimes B,C)\cong\hom_H(A,B^*\otimes C)$.

Lemma IV. $({\rm Res}_H^GA)^*\cong{\rm Res}_H^G(A^*)$ and $({\rm Res}_H^GA)\otimes({\rm Res}_H^GB)\cong{\rm Res}_H^G(A\otimes B)$.

We employ the last three lemmas to verify the hypothesis of the first lemma: for all $U\in{\rm Rep}(G)$,

$$\begin{array}{llll} & \hom_G({\rm Ind}_H^G(V\otimes{\rm Res}_H^GW),U) & \cong & \hom_H(V\otimes{\rm Res}_H^GW,{\rm Res}_H^GU) \\ \cong & \hom_H(V,({\rm Res}_H^GW)^*\otimes{\rm Res}_H^GU) & \cong & \hom_H(V,{\rm Res}_H^G(W^*\otimes U)) \\ \cong & \hom_G({\rm Ind}_H^GV,W^*\otimes U) & \cong & \hom_G(({\rm Ind}_H^GV)\otimes W,U). \end{array}$$

Hence ${\rm Ind}_H^G(V\otimes{\rm Res}_H^GW)\cong({\rm Ind}_H^GV)\otimes W.$

In fact the functors ${\rm Ind}_H^G(-\otimes{\rm Res}_H^G-)$ and $({\rm Ind}_H^G-)\otimes-:{\rm Rep}(H)\times{\rm Rep}(G)\to{\rm Rep}(G)$ should be naturally isomorphic (via a canonical isomorphism mt_ gave). All of the isomorphisms in the above calculation are natural, but I am not sure how to successfully upgrade Lemma I to talk about naturality.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.