Remarque 4
Étiquette 0CGM, permanente. À citer comme [Bourbaki, Tag 0CGM].
Commutative Algebra, chapter II, § 2. Anneaux et modules de fractions
Soit M un A[S^{-1}]-module ; lorsque M est considéré canoniquement comme un A-module, i_M^s est une application bijective, car le couple formé de M et de l’application identique 1_M est aussi trivialement solution du problème d’application universelle résolu par M[S^{-1}] et i_M^s. On identifie alors M et M[S^{-1}].
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.