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

I'd like to know the homology of a free group and a free abelian group of rank 2. I know that they could be computed topologically, but I'm searching a proof purely algebraic, could you help me please?

share|cite|improve this question

If you look in the book by Cartan-Eilenberg on Homological Algebra (and surely many others, but each of us has a favorite!) you will find explicit projective resolutions for both free groups and for free abelian groups. From that one can immediately compute homology and cohomology.

You can also use technology. For example, it is easy to show that the (co)homology of a free product of groups is (in positive degrees) the direct sum of the factors (you can find this in Hilton-Stammbach's book on homological algebra, for example) and this easily reduces the computation of the (co)homology of free groups to that of infinite cyclic groups. Likewise, there is a Künneth formula for the (co)homology of direct products of groups which reduces the computation of (co)homology of free abelian groups to —again­— that of infinite cyclic groups.

Infinite cyclic groups are easily handled by writing down an explicit resolution: if we write $G$ for the infinite cyclic group generated by $\sigma$, we can use $$\mathbb ZG\xrightarrow{d}\mathbb ZG\stackrel\varepsilon\twoheadrightarrow\mathbb Z$$ with $\varepsilon$ the usual augmentation and $d$ the unique $\mathbb ZG$-linear map such that $d(1)=\sigma-1$.

Alternatively, every textbook includes an explicit description of the functors $H^0(G,\mathord-)$ and $H^1(G,\mathord-)$, which in the case of the infinite cyclic group makes them immediately computable, and then you can check any problems that $H^1(G,\mathord-)$ is right exact. It follows that the higher $H^p$'s are zero, and that we have computed the whole cohomology. One can proceed in a similar way for homology.

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.