Example 1
Tag 0DQ7, permanent. Cite it as [Bourbaki, Tag 0DQ7].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Suppose that A is integral and M is torsion-free. Let K be the field of fractions of A and let i : M → K ⊗_A M be the canonical homomorphism. Then (K ⊗_A M, i) is an injective envelope of M (II, p. 116, prop. 26 and X, p. 17, cor. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.