Remarque 3
Étiquette 0DFT, permanente. À citer comme [Bourbaki, Tag 0DFT].
Algebra, chapter II, § 5. Extension de l'anneau des scalaires
Soient E un A-module à gauche, a un idéal bilatère de A, ρ : A → A/a l’homomorphisme canonique. Avec les notations de II, p. 60, cor. 2, le A-module E/aE est annulé par a, et est donc canoniquement muni d’une structure de (A/a)-module à gauche (II, p. 28); il est immédiat que l’application canonique π : ρ^*(E) → E/aE définie dans II, p. 60, cor. 2, est un isomorphisme pour les structures de (A/a)-module.
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.