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

Consider $\mathbb{Z}_{2}$ as a $\mathbb{Z}_{4}$-module. How to compute $\mathrm{Tor}_{n}^{\mathbb{Z}_{4}}(\mathbb{Z}_{2},\mathbb{Z}_{2})$?

share|cite|improve this question

closed as off-topic by user26857, Shailesh, Jonas, Antonios-Alexandros Robotis, choco_addicted Mar 15 at 1:22

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user26857, Shailesh, Jonas, Antonios-Alexandros Robotis, choco_addicted
If this question can be reworded to fit the rules in the help center, please edit the question.

Indeed, this is one situation where "just apply the definition" works... – Mariano Suárez-Alvarez Apr 9 '11 at 20:07
up vote 7 down vote accepted

You need a free (or projective) resolution of $\mathbb{Z}_2$. One is $$\dots\to\mathbb{Z}_4\to\mathbb{Z}_4\to\mathbb{Z}_4\to\mathbb{Z}_4$$ where every arrow is multiplication by $2$. Now you tensor this complex (over $\mathbb{Z}_4$) with $\mathbb{Z}_2$ and you get $$\dots\to\mathbb{Z}_2\to\mathbb{Z}_2\to\mathbb{Z}_2\to\mathbb{Z}_2$$ where the arrows are now zero. Your Tor's are the cohomology of this complex. As a result, they are $\mathbb{Z}_2$ for every $n$.

share|cite|improve this answer
You need the rightmost memeber of your free resolution to be $\mathbb{Z}_2$ – Thomas Andrews Apr 9 '11 at 20:09
@user8268: thanks, I just didn't know where to start, thanks again. – user6495 Apr 9 '11 at 20:10
@Thomas: (it may depend on conventions, but) there is no $\mathbb{Z}_2$ in the resolution; in principle it continues to the right, with zeroes. The resolution should be a non-positively graded complex (of free $\mathbb{Z}_4$-modules) with cohomology equal to $\mathbb{Z}_2$ (only in deg. $0$ - for other degrees the cohomology should vanish). (but as I said, it might depend on conventions, so I'm just explaining what I meant) – user8268 Apr 9 '11 at 20:21
Ah, I suppose that makes sense, but that requires that you define a project resolution in terms of cohomology, when you can instead define it "independent" of cohomology using just exact sequences. – Thomas Andrews Apr 9 '11 at 21:09
Hi my friend.Could you describe it more?I couldn't understand your answer. – Iman Bahmani Jul 25 '13 at 19:50

Not the answer you're looking for? Browse other questions tagged or ask your own question.