flat resolution lemma

and

**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

Revised on November 6, 2013 09:09:51
by Anonymous Coward
(146.6.139.27)