Proposition 8

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

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

Let $u : E \to F$ be an A-linear mapping, M a submodule of E and $M'$ the orthogonal of M in $E^*$ ; the orthogonal of $u(M)$ in $F^*$ is the inverse image $^t u^{-1}(M')$ .

This follows immediately from (15).

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

Cited by

Nothing.

Cites

Nothing.