Remark 10.133.7. Suppose given a commutative diagram of rings

a $B$-module $M$, a $B'$-module $M'$, and a $B$-linear map $M \to M'$. Then we get a compatible system of module maps

These maps are compatible with further composition of maps of this type. The easiest way to see this is to use the description of the modules $P^ k_{B/A}(M)$ in terms of generators and relations in the proof of Lemma 10.133.3 but it can also be seen directly from the universal property of these modules. Moreover, these maps are compatible with the short exact sequences of Lemma 10.133.6.

## Comments (0)