Ehsaan Hossain, University of Waterloo
“Finally some group theory ... almost”
Let’s head straight for Corollary 3.13 in section IV.3 (the finite thing with the abelian subgroup). To do this, we’ll be reading section III.9, titled ”The Transfer Map”. It appears that understanding this bit is the first of two steps in proving Corollary 3.13. Ambitious as ever, the goal is to prove Proposition 10.3: if G is finite and H is a Sylow p-subgroup, then the “restriction map” resHG is an isomorphism from Hn(G, M)(p) onto the G-invariant elements of Hn(H, M).