Example 8
Tag 0DP9, permanent. Cite it as [Bourbaki, Tag 0DP9].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Let be a ring and a homomorphism. If is a flat -module, the -module is flat. Indeed, let be an injective homomorphism of right -modules; then is canonically identified with the homomorphism , which is injective if is flat.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.