Bourbaki

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 AsnA_s^n 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 AdnA_d^n, 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.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.