Proposition 5

Tag 0DU2, permanent. Cite it as [Bourbaki, Tag 0DU2].

I(f) : I(M) → I(N) is a morphism of complexes of A-modules; one has I(f) ◦ e_M = e_N ◦ f. This is proved in a manner analogous to Prop. 4.

One has (14)

I(1_M) = 1_{I(M)}

and for every homomorphism

g : N \to P

of A-modules (15)

I(g \circ f) = I(g) \circ I(f) .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.