Lemma 2
Tag 0DC2, permanent. Cite it as [Bourbaki, Tag 0DC2].
Commutative Algebra, chapter X, § 9. Modules dualisants
Let be a noetherian ring, and finitely generated -modules, a homomorphism. Let be an element of the radical of , such that the homothety is injective. If the homomorphism induced by is injective (resp. surjective, resp. bijective), the same is true of .
The assertion concerning the surjectivity of results from Nakayama's lemma (II, § 3, No. 2, cor. 1 of prop. 4), without any assumption on . Consider the commutative diagram with exact rows
by means of the snake lemma (I, § 1, No. 4, prop. 2), one deduces from it an exact sequence . If is injective, the homothety with ratio is surjective in , which implies by Nakayama's lemma.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.