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 un anneau gradué de type ; pour tout , soit le sous-groupe des éléments homogènes de degré dans . Posons ; alors il est immédiat que est une filtration décroissante, exhaustive et séparée, compatible avec la structure d’anneau de ; on dit que cette filtration est associée à la graduation et que l’anneau filtré est associé à l’anneau gradué donné.
Soit maintenant un module gradué de type sur l’anneau gradué et pour tout , soit le sous-groupe des éléments homogènes de degré de . Posons ; alors est une filtration décroissante, exhaustive et séparée, compatible avec la structure de module de sur l’anneau filtré ; on dit que cette filtration est associée à la graduation et que le module filtré est associé au module gradué 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.