Remarque 2
Étiquette 0DFS, permanente. À citer comme [Bourbaki, Tag 0DFS].
Algebra, chapter II, § 5. Extension de l'anneau des scalaires
Si E est un (A, (C'_i); (D'_j))-multimodule, F un (B, (C''_h); (D''_k))-multimodule, alors l’isomorphisme (2) est linéaire pour les structures de ((D'_j), (C''_h); (C'_i), (D''_k))-multimodules des deux membres (II, p. 34 et p. 54).
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.
Cite
Rien.