flat resolution lemma

(also nonabelian homological algebra)

The *flat resolution lemma* in homological algebra say that the Tor-derived functor, which a-priori is defined via projective resolutions, may also be computed via resolution by flat modules.

This appears for instance as lemma 3.2.8 in

and in lemma 19.17.9 and following in

Last revised on November 6, 2013 at 09:09:51. See the history of this page for a list of all contributions to it.