TOPICS
Search

Tor


The Tor functors Tor_n^R(M,N) are the left derived functors of the module tensor product of a right module M and a left module N over a unit ring R. If P_-->M is a projective resolution by right modules, then

 Tor_n^R(M,N)=H_n(P_- tensor _RN).

The zeroth Abelian group is Tor_0^R(M,N)=M tensor _RN, while the higher Abelian groups measure the failure of module tensor product to preserve exact sequences. For positive integers m and n, for example,

 Tor_1^Z(Z/mZ,Z/nZ)=Z/gcd(m,n)Z.

See also

Chain Complex, Exact Sequence, Graded Betti Number, Module Tensor Product, Projective Module, Projective Resolution, Serre's Intersection Multiplicity

Explore with Wolfram|Alpha

References

Weibel, C. A. An Introduction to Homological Algebra. Cambridge, England: Cambridge University Press, 1994.

Cite this as:

Weisstein, Eric W. "Tor." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Tor.html

Subject classifications