Exemple 3
Étiquette 0CH2, permanente. À citer comme [Bourbaki, Tag 0CH2].
Commutative Algebra, chapter III, § 2. Généralités sur les anneaux et modules filtrés
Soient un anneau, un idéal bilatère de . Posons pour , pour ; il est immédiat que est une filtration exhaustive sur , dite filtration -adique. Soit un -module ; on appelle filtration -adique sur la filtration déduite de la filtration -adique de ; autrement dit, on a pour et pour .
Si est commutatif et une -algèbre, est un idéal bilatère de , et pour tout -module , on a , donc la filtration -adique sur coïncide avec la filtration -adique (lorsque est considéré comme -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.