Example 1
Tag 0DPU, permanent. Cite it as [Bourbaki, Tag 0DPU].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
If A is integral, the field of fractions K of A is an A-module injective. If A is principal, is an A-module injective. 2) For example, the -modules and are injective. 3) Let A be a principal ideal domain and let be a nonzero element of A. Then is an -module injective (X, p. 170, exercise 20).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.