Remark
Tag 05JY, permanent. Cite it as [Bourbaki, Tag 05JY].
Algebra, chapter II, § 1. Modules
Let M be a submodule of an A-module E and the canonical homomorphism. For an A-linear mapping to be of the form , where is a linear mapping of E/M into F, it is necessary and sufficient that ; for, if this condition holds, the relation implies , hence is compatible with this equivalence relation and clearly the mapping derived from by taking quotients is linear.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.