Tor functor

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In homological algebra, the Tor functors are the derived functors of the tensor product functor. They were first defined in generality to express the Künneth theorem and universal coefficient theorem in algebraic topology.[citation needed]

Specifically, suppose R is a ring, and denote by R-Mod the category of left R-modules and by Mod-R the category of right R-modules (if R is commutative, the two categories coincide). Pick a fixed module B in R-Mod. For A in Mod-R, set T(A) = ARB. Then T is a right exact functor from Mod-R to the category of abelian groups Ab (in the case when R is commutative, it is a right exact functor from Mod-R to Mod-R) and its left derived functors LnT are defined. We set

\mathrm{Tor}_n^R(A,B)=(L_nT)(A)

i.e., we take a projective resolution

\cdots\rightarrow P_2 \rightarrow P_1 \rightarrow P_0 \rightarrow A\rightarrow 0

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

(note that ARB does not appear and the last arrow is just the zero map) and take the homology of this complex.

Properties[edit]

  • For every n ≥ 1, TorR
    n
    is an additive functor from Mod-R × R-Mod to Ab. In the case when R is commutative, we have additive functors from Mod-R × Mod-R to Mod-R.
\cdots\rightarrow\mathrm{Tor}_2^R(M,B)\rightarrow\mathrm{Tor}_1^R(K,B)\rightarrow\mathrm{Tor}_1^R(L,B)\rightarrow\mathrm{Tor}_1^R(M,B)\rightarrow K\otimes B\rightarrow L\otimes B\rightarrow M\otimes B\rightarrow 0.
\mathrm{Tor}_1^R(R/(r),B)=\{b\in B:rb=0\},

from which the terminology Tor (that is, Torsion) comes: see torsion subgroup.

  • TorZ
    n
    (A,B) = 0 for all n ≥ 2. The reason: every abelian group A has a free resolution of length 1, since subgroups of free abelian groups are free abelian. So in this important special case, the higher Tor functors are invisible. In addition, TorZ
    1
    (Z/kZ,A) = Ker(f) where f represents "multiplication by k".
  • Furthermore, every free module has a free resolution of length zero, so by the argument above, if F is a free R-module, then TorR
    n
    (F,B) = 0 for all n ≥ 1.
\mathrm{Tor}_n^R \left (\bigoplus_i A_i, \bigoplus_j B_j \right) \simeq \bigoplus_i \bigoplus_j \mathrm{Tor}_n^R(A_i,B_j)
  • From the classification of finitely generated abelian groups, we know that every finitely generated abelian group is the direct sum of copies of Z and Zk. This together with the previous three points allows us to compute TorZ
    1
    (A, B) whenever A is finitely generated.
  • A module M in Mod-R is flat if and only if TorR
    1
    (M, -) = 0. In this case, we even have TorR
    n
    (M, -) = 0 for all n ≥ 1 . In fact, to compute TorR
    n
    (A,B), one may use a flat resolution of A or B, instead of a projective resolution (note that a projective resolution is automatically a flat resolution, but the converse isn't true, so allowing flat resolutions is more flexible).

See also[edit]

References[edit]