Bourbaki

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 ϕ:E→E/M\phi : E \to E/M the canonical homomorphism. For an A-linear mapping u:E→Fu : E \to F to be of the form v∘ϕv \circ \phi, where vv is a linear mapping of E/M into F, it is necessary and sufficient that M⊂Ker(u)M \subset \mathrm{Ker}(u); for, if this condition holds, the relation x−y∈Mx - y \in M implies u(x)=u(y)u(x) = u(y), hence uu is compatible with this equivalence relation and clearly the mapping v:E/M→Fv : E/M \to F derived from uu 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.

Transcribed from the printed edition, 1998, Springer. Not translated.