In mathematics, particularly in the field of homological algebra and algebraic topology, the Tor functor is a significant construction related to the derived functors of the tensor product. The Tor functor, denoted as \(\text{Tor}_n^R(A, B)\), is used to study the properties of modules over a ring \(R\).
Articles by others on the same topic
The Tor functor is the homology of a tensor product of modules with a free resolution: for a free resolution of . It measures the failure of tensoring to preserve exact sequences. For a commutative ring, one may resolve either argument; the double complex of the two resolutions proves that both computations agree.