Corollary 1
Tag 0DQC, permanent. Cite it as [Bourbaki, Tag 0DQC].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
The relation “I is a class of indecomposable injective A-modules” is collectivizing.
Indeed, according to (iii) every indecomposable injective A-module is the injective envelope of a monogenic A-module.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.