Corollary 3

Tag 05NV, permanent. Cite it as [Bourbaki, Tag 05NV].

Algebra, chapter II, § 2. Modules of linear mappings. Duality

Let E, F be two A-modules each with a finite basis, E (resp. F) being canonically identified with its bidual E (resp. F). Then, for every linear mapping u : E → F, $t^t u = u$ .

This follows immediately from the commutativity of diagram (27).

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

Cited by

Nothing.

Cites

Nothing.