Corollary
Tag 05N4, permanent. Cite it as [Bourbaki, Tag 05N4].
Algebra, chapter II, § 2. Modules of linear mappings. Duality
Every free A-module is projective.
It suffices by Proposition 3 to show that A_s is projective, which follows immediately from the commutativity of diagram (50) of § 1, no. 14.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.