0

Please explain to me about small $\text{Tor}$ functor problem.

I use $\text{Tor(A,B)}$ define at http://en.wikipedia.org/wiki/Tor_functor.

we take a projective resolution:

$\cdots\rightarrow P_2 \rightarrow P_1 \rightarrow P_0 \rightarrow A\rightarrow 0$ (1)

then remove the A term and tensor the projective resolution with B to get the complex:

$\cdots \rightarrow P_2\otimes_R B \rightarrow P_1\otimes_R B \rightarrow P_0\otimes_R B \rightarrow 0$ (2)

and take the homology of this complex.

Clearly, since right exactness of $\otimes$-functor, so from (1) we have (2) is right exact sequence. It's mean, homology $H_n(x)=0$. But it's impossible!

I'm really misunderstand! Thanks for regarding!

Rachel
  • 529

1 Answers1

1

Tensoring with $B$ doesn't take you from (1) to (2). It takes you from (1) to

$$\cdots P_2 \otimes_R B \to P_1\otimes_R B \rightarrow P_0 \otimes_R B \rightarrow A\otimes_R B \rightarrow 0$$

which is indeed exact at the last few terms.

  • it's mean (2) isn't right exact? – Rachel Oct 08 '13 at 03:56
  • The sequence below is indeed not exact, assuming that's what you mean by calling a chain complex "right exact". $$P_2\otimes_R B \rightarrow P_1\otimes_R B \rightarrow P_0\otimes_R B \rightarrow 0$$ However, the following sequence is exact: $$P_1\otimes_R B \rightarrow P_0\otimes_R B \to A \otimes_R B\rightarrow 0 $$ –  Oct 08 '13 at 03:58
  • However, honnomophic: $P_1\otimes_R B \rightarrow P_0\otimes_R B$ is epic? right? – Rachel Oct 08 '13 at 04:03
  • @Hoang: Usually no, because its cokernel is $A\otimes_R B$ which is usually not zero. The exactness of the original chain complex and right exactness of $\otimes_R$, however, do tell you that $P_0 \otimes_R B \to A \otimes_R B$ is epic. –  Oct 08 '13 at 04:06
  • OK, thanks Hurkyl, I think that I understand! :) – Rachel Oct 08 '13 at 04:12