Remark

Tag 0DJF, permanent. Cite it as [Bourbaki, Tag 0DJF].

When $s_{\Phi}$ is bijective, every homomorphism $\nu$ of $F$ into $F'$ admits an everywhere defined right adjoint, and one has

(34)

\nu^* = (s_{\Phi})^{-1} \circ {}^t \nu \circ s_{\Phi'}.

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

Cited by

Nothing.

Nothing.