Remark
Tag 046V, permanent. Cite it as [Bourbaki, Tag 046V].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
Let be three -modules, an -bilinear mapping and the -bilinear mapping obtained from by extending the ring of scalars to (Algebra, Chapter IX, § 1, no. 4, Proposition 1). Let be the canonical homomorphisms; it follows immediately that, if is the sub--module of generated by , is the sub--module of generated by .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
- Algebra, Chapter IX, § 1, no. 4, Proposition 1 not yet on this site: A IX