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 is an injective module, (iv) , (v) is semisimple, (vi) 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 is injective, it is a direct factor in , 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.