Remark 15.63.20. Let $R$ be ring map. Let $L$, $M$, $N$ be $R$-modules. Consider the canonical map

Choose a two term free resolution $F_1 \to F_0 \to M \to 0$. Assuming $L$ flat over $R$ we obtain a commutative diagram

with exact rows. We conclude that if $F_0$ and $F_1$ are finite free, i.e., if $M$ is finitely presented, then the first displayed map is an isomorphism. Similarly, if $M$ is $(-m)$-pseudo-coherent and still assuming $L$ is flat over $R$, then the map

is an isomorphism for $i < m$.

## Comments (0)

There are also: