Corollary 2

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

Let E be a right vector space and F a left vector space over the same field K; the canonical mapping

E \otimes_K F \to \operatorname{Hom}_K(E^*, F)

(§ 4, no. 2, formula (15)) is injective; it is bijective when E is finite-dimensional.

This is a special case of § 4, no. 2, Remark 2.

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

Cited by

Nothing.