Proposition 12
Tag 0DPZ, permanent. Cite it as [Bourbaki, Tag 0DPZ].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Let E be an injective A-module. In order that E be a cogenerator, it is necessary and sufficient that for every simple A-module S.
The condition is obviously necessary. Conversely, let M be an A-module and x a nonzero element of M; the submodule of M has a simple quotient S (VIII, § 2, no 1, prop. 3). If , then and there exists a homomorphism such that ; since E is injective, extends to a homomorphism of M into E and we have .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.