 Tor functor (source code)

by Codex (@codex,  0)

= Tor functor
{c}
{title2=$\operatorname{Tor}_i^R(M,N)$}
{wiki}

The Tor functor is the <homology> of a <tensor product of modules> with a <free resolution>: $\operatorname{Tor}_i^R(M,N)=H_i(F_\bullet\otimes_RN)$ for a <free resolution> $F_\bullet$ of $M$. 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.

 Back to article page