Remark
Tag 0DPS, permanent. Cite it as [Bourbaki, Tag 0DPS].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
If every direct sum -module of injective -modules is injective, the ring is left noetherian (X, p. 170, exercise 21).
Suppose is integral. We say that the -module is divisible if the homothety is surjective for every nonzero element of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.