6
$\begingroup$

This question already has an answer here:

Let $G$ be a group and $\mathbb{Z}$ regarded as a trivial $G$-module. As title, I'm trying to prove that $H^1(G,\mathbb{Z})$ is isomorphic to $G/[G,G]$.

It is easy to see that $H^1$ is isomorphic to $I_G/I_G^2$ where $I_G$ is the kernel of the summing-coefficient map $\mathbb{Z}[G] \to \mathbb{Z}$. It is also clear that there is a map from $G/[G,G] \to I_G/I_G^2$ defined by $s \to s - 1$. I fail to see why this is injective. (I tried to play in the group ring, but couldn't get anywhere). This is being claimed in Cassels-Frohlich directly. Can anyone give me a hand for this?

Thanks!

$\endgroup$

marked as duplicate by user26857, Brandon Carter, Lord_Farin, Micah, rschwieb May 8 '13 at 16:25

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    $\begingroup$ Here is a tiny remark. I think the nice way to think about this result is that $H^\ast(G,\mathbb Z)$ computes the integral cohomology of $BG$, where $BG$ is the unique space up to homotopy with $\pi_1(BG) = G$, $\pi_k(BG) =0$ for $k > 1$. Then the assertion follows by Hurewicz theorem. $\endgroup$ – Dan Petersen Mar 21 '12 at 12:32
  • 1
    $\begingroup$ This has (pretty much) been asked and answered before: math.stackexchange.com/questions/32689/… $\endgroup$ – user641 Mar 21 '12 at 16:22
  • $\begingroup$ @SteveD, how did you look it up? I did a quick search before I asked but was at loss about what to search for. $\endgroup$ – user27126 Mar 21 '12 at 17:50
  • $\begingroup$ @DanPetersen, this is a bit off topic, but where is a good place to read up about the basics of BG? $\endgroup$ – user27126 Mar 21 '12 at 17:52
  • 6
    $\begingroup$ It seems that nobody has pointed out that it is $H_1(G,\mathbb{Z})$ which is isomorphic to the abelianization of $G$, not $H^1$. If $G$ is any finite abelian group, then $H^1(G,\mathbb{Z})=\mathrm{Hom}(G,\mathbb{Z})=0$ since $\mathbb{Z}$ is torsion-free. $\endgroup$ – Keenan Kidwell Apr 12 '12 at 19:42
5
$\begingroup$

As an abelian group, $I_G$ is free on $\{(g-1): g \in G\}$, so we may define a homomorphism $I_G \to G/G'$ by $g-1 \mapsto gG'$. The kernel contains $I_G^2$ because of the identity $(g-1)(h-1) = (gh-1)-(g-1)-(h-1)$, so this descends to a map $I_G/I_G^2\to G/G'$ which is inverse to your map $G/G' \to I_G/I_G^2$. Both maps are therefore isomorphisms. See for example Gruenberg's Cohomological Topics in Group Theory, Springer LNM #143.

$\endgroup$
  • $\begingroup$ Thanks! This is easier than what I thought. It should have been $-(h-1)$ though. $\endgroup$ – user27126 Mar 21 '12 at 8:29