Bourbaki

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 AA un anneau, mm un idéal bilatère de AA. Posons An=mnA_n = m^n pour n≥0n \geq 0, An=AA_n = A pour n<0n < 0; il est immédiat que (An)(A_n) est une filtration exhaustive sur AA, dite filtration mm-adique. Soit EE un AA-module ; on appelle filtration mm-adique sur EE la filtration (En)(E_n) déduite de la filtration mm-adique de AA; autrement dit, on a En=mnEE_n = m^n E pour n≥0n \geq 0 et En=EE_n = E pour n<0n < 0.

Si AA est commutatif et BB une AA-algèbre, n=mBn = mB est un idéal bilatère de BB, et pour tout BB-module FF, on a nkF=mkFn^k F = m^k F, donc la filtration nn-adique sur FF coïncide avec la filtration mm-adique (lorsque FF est considéré comme AA-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.

Transcrit du volume imprimé. Non traduit.