Let $H\to G$ be a subgroup of a finite group, let $M$ be an $H$-module, $N$ be the induced $G$-module, by Shapiro lemma we have $H^i(G,N)\cong H^i(H,M)$. What is the map on the level of cochains? Given a cochain $G^i\to N$, what is the corresponding $H^i\to M$? (If we use inclusion $H^i\to G^i$, what is the map $N\to M$?)
$\begingroup$
$\endgroup$
4
-
3$\begingroup$ See Cohomology of Number Fields, (1.6.4). $\endgroup$– user19475Commented Jul 15, 2018 at 13:49
-
$\begingroup$ @TKe Thanks for the reference, I’ll try to work out the details! One thing a bit confusing, if we are constructing the reverse map $H^i(H,M)\to H^i(G,N)$, then a cocycle $H^i\to M$ can associate a cocycle $H^i\to N$ by inclusion, but then how does it extends to a cocycle on $G^i$? $\endgroup$– user39380Commented Jul 15, 2018 at 14:44
-
$\begingroup$ See also the exercise in Chapter III.8 of Ken Brown's "Cohomology of Groups". $\endgroup$– Chris GerigCommented Jul 15, 2018 at 20:24
-
$\begingroup$ @Qixiao : you have to take a transversal for $H$ in $G$... again, the details are in NSW, Cohomology of Number Fields. By the way, the isomorphism the other way around is easy: Shapiro's isomorphism is the restriction from $G$ to $H$, followed by the map $N\to M$ which evaluates at 1 -- thinking of the induced module as $Hom_{\mathbb{Z}H}( \mathbb{Z} G, M)$. $\endgroup$– PierreCommented Jul 17, 2018 at 7:41
Add a comment
|