Lemma 15.95.3. Let $A$ be a ring and let $f \in A$ be a nonzerodivisor. If $M^\bullet \to N^\bullet$ is a quasi-isomorphism of complexes of $f$-torsion free $A$-modules, then the induced map $\eta _ fM^\bullet \to \eta _ fN^\bullet$ is a quasi-isomorphism too.

Proof. This is true because the isomorphisms of Lemma 15.95.2 are compatible with maps of complexes. $\square$

There are also:

• 2 comment(s) on Section 15.95: An operator introduced by Berthelot and Ogus

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).