MathOverflow is a question and answer site for professional mathematicians. 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

For a discrete group G, if $M$ is a direct/inverse limit of $M_i$, is $H^i(G, M)$ the direct/inverse limit of the $H^i(G, M_i)$? Of course, cohomology commutes with finite direct sums, but how about general limits/colimits over finite categories? Thank you!

share|cite|improve this question
Related: – Martin Brandenburg Feb 18 '13 at 21:02
up vote 6 down vote accepted

Ken Brown shows in that group cohomology for a group G commutes with direct limits iff G is of type $FP_\infty$. That is the trivial module $\mathbb Z$ has a projective $\mathbb ZG$ resolution which is finitely generated in each degree.

share|cite|improve this answer
I believe all limits are preserved because Hom preserved the and group cohomology is a derived functor of Hom. – Benjamin Steinberg Feb 18 '13 at 19:39
Don't you have problems since inverse limits are not exact? – Lennart Meier Feb 18 '13 at 20:05
By "all limits" in the comment you mean "all inverse limits" ? – Demin Hu Feb 18 '13 at 20:12
By limit I mean in the category sense as opposed to colimits like the misnamed direct limit. – Benjamin Steinberg Feb 18 '13 at 20:17
My first comment about inverse limits is probably wrong because inverse limits are not exact – Benjamin Steinberg Feb 18 '13 at 20:30

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.