Exemple 3
Étiquette 0DG7, permanente. À citer comme [Bourbaki, Tag 0DG7].
Algebra, chapter II, § 11. Modules et anneaux gradués
Soient un anneau gradué de type , un -module gradué de type , un élément de ; pour tout , soit , et soit le -module . Comme , est un -module et les forment sur une graduation de type compatible avec la structure de -module de ; on dit que le -module gradué de type ainsi défini est obtenu par décalage de de la graduation de , et on le note . Lorsque est un groupe, le -module sous-jacent au -module gradué s’identifie à .
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.