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.
Articles by others on the same topic
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\).