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: