Bourbaki

Exemple 1

Étiquette 0CH0, permanente. À citer comme [Bourbaki, Tag 0CH0].

Commutative Algebra, chapter III, § 2. Généralités sur les anneaux et modules filtrés

Soit AA un anneau gradué de type Z\mathbf{Z}; pour tout i∈Zi \in \mathbf{Z}, soit A(i)A_{(i)} le sous-groupe des éléments homogènes de degré ii dans AA. Posons An=∑i≥nA(i)A_n = \sum_{i \geq n} A_{(i)}; alors il est immédiat que (An)(A_n) est une filtration décroissante, exhaustive et séparée, compatible avec la structure d’anneau de AA; on dit que cette filtration est associée à la graduation (A(i))i∈Z(A_{(i)})_{i \in \mathbf{Z}} et que l’anneau filtré AA est associé à l’anneau gradué AA donné.

Soit maintenant EE un module gradué de type Z\mathbf{Z} sur l’anneau gradué AA et pour tout i∈Zi \in \mathbf{Z}, soit E(i)E_{(i)} le sous-groupe des éléments homogènes de degré ii de EE. Posons En=∑i≥nE(i)E_n = \sum_{i \geq n} E_{(i)}; alors (En)(E_n) est une filtration décroissante, exhaustive et séparée, compatible avec la structure de module de EE sur l’anneau filtré AA; on dit que cette filtration est associée à la graduation (E(i))i∈Z(E_{(i)})_{i \in \mathbf{Z}} et que le module filtré EE est associé au module gradué EE donné.

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.