Example 2
Tag 0DQE, permanent. Cite it as [Bourbaki, Tag 0DQE].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
If A is commutative and noetherian, the indecomposable injective A-modules are exactly the injective envelopes of the modules A/p where p is a prime ideal (X, p. 171, exercise 27).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.