Corollaire

Étiquette 0DFR, permanente. À citer comme [Bourbaki, Tag 0DFR].

Si C est un anneau commutatif, E, F, G trois C-modules, alors les C-modules

\begin{array}{ll} \mathrm{Hom}_C(E \otimes_C F, G), & \mathrm{Hom}_C(E, \mathrm{Hom}_C(F, G)), \\ \mathrm{Hom}_C(F, \mathrm{Hom}_C(E, G)), & \mathscr{L}_2(E, F; G) \end{array}

sont canoniquement isomorphes.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Rien.