Firefighting

From formulasearchengine
Revision as of 07:28, 14 January 2014 by en>BG19bot (WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9863))
Jump to navigation Jump to 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.Potter or Ceramic Artist Truman Bedell from Rexton, has interests which include ceramics, best property developers in singapore developers in singapore and scrabble. Was especially enthused after visiting Alejandro de Humboldt National Park.

Specifically, suppose R is a ring, and denoted 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

TornR(A,B)=(LnT)(A)

i.e., we take a projective resolution

P2P1P0A0

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

P2RBP1RBP0RB0

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

Properties

  • For every n ≥ 1, TorTemplate:Su 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.
Tor2R(M,B)Tor1R(K,B)Tor1R(L,B)Tor1R(M,B)KBLBMB0.
Tor1R(R/(r),B)={bB:rb=0},

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

  • Furthermore, every free module has a free resolution of length zero, so by the argument above, if F is a free R-module, then TorTemplate:Su(F,B) = 0 for all n ≥ 1.
TornR(iAi,jBj)ijTornR(Ai,Bj)
  • A module M in Mod-R is flat if and only if TorTemplate:Su(M, -) = 0. In this case, we even have TorTemplate:Su(M, -) = 0 for all n ≥ 1 . In fact, to compute TorTemplate:Su(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

References