Example 3

Tag 0DTW, permanent. Cite it as [Bourbaki, Tag 0DTW].

If A is principal, the exact sequence

0 \to A \to K \to K/A \to 0

is an injective resolution of length 1 of the A-module $A_s$ (X, p. 18, Example 1).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.