Bourbaki

Proposition 6

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

Algebra, chapter X, § 8. Dimension homologique

The following conditions are equivalent : (i) every a-module is projective, (ii) every a-module is injective, (iii) every ideal of AA is an injective module, (iv) dh(A)≤0\mathrm{dh}(A) \leq 0, (v) AA is semisimple, (vi) AA is noetherian and every a-module is flat; (vii) every complex of a-modules is split, (viii) every exact sequence of a-modules is split.

By Prop. 4, we have (i) ⇔ (ii) ⇔ (iv); by Corollary 1 to Prop. 4, we have (vi) ⇒ (iv). By X, p. 35, Example 4, we have (i) ⇒ (vii); since (ii) ⇒ (iii) and (vii) ⇒ (viii) are trivial and since (viii) ⇒ (i) follows from II, p. 39, Prop. 4, it remains to be shown (iii) ⇒ (v) and (v) ⇒ (vi); the last assertion follows from VIII, § 5, No. 1, Props. 1 and 2; finally, if every ideal of AA is injective, it is a direct factor in AA, hence (iii) ⇒ (v).

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

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.