# Induction commutes with duals and tensor products

I need references for the following two results. Let $G$ be a finite group and let $H$ be a subgroup of $G$. Let $V$ be a finite-dimensional representation of $H$.

1. $(\text{Ind}_H^G V)^{\ast} \cong \text{Ind}_H^G V^{\ast}$.

2. Given a finite-dimensional representation $W$ of $G$, we have $(\text{Ind}_H^G V) \otimes W \cong \text{Ind}_H^G (V \otimes \text{Res}_H^G W)$.

I know references for these that prove them with character theory, but I need them for general fields (not just fields of characteristic $0$).

-

Is $G$ supposed to be finite? In any case, I would imagine that these kinds of results follow from Frobenius reciprocity. – Qiaochu Yuan Aug 8 '12 at 16:46
The group $G$ is finite.  However, the version of Frobenius reciprocity I know (eg the one in Serre's book) is a theorem about characters, so I don't think it applies here. – Juan Aug 8 '12 at 16:51
– Qiaochu Yuan Aug 8 '12 at 17:23
@QiaochuYuan : Thanks.  I just spent 15-20 minutes trying to prove these with that version of Frobenius reciprocity.  I was unsuccessful, but that doesn't mean it can't be done. – Juan Aug 8 '12 at 18:38
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9590017795562744, "perplexity_flag": "head"}