Corollary
Tag 05NQ, permanent. Cite it as [Bourbaki, Tag 05NQ].
Algebra, chapter II, § 2. Modules of linear mappings. Duality
The dual of a finitely generated projective module is a finitely generated projective module.
A finitely generated projective left A-module can be identified with a direct factor M of a free A-module with a finite basis (no. 2, Corollary 1 to Proposition 4). Then (Proposition 11 and Corollary to Proposition 10) M* is isomorphic to a direct factor of , whence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.