Bourbaki

Exemple 3

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

Algebra, chapter II, § 11. Modules et anneaux gradués

Soient AA un anneau gradué de type Δ\Delta, MM un AA-module gradué de type Δ\Delta, λ0\lambda_0 un élément de Δ\Delta; pour tout λ∈Δ\lambda \in \Delta, soit Mλ′=Mλ+λ0M'_\lambda = M_{\lambda + \lambda_0}, et soit M′M' le Z\mathbf{Z}-module ⨁λ∈ΔMλ′\bigoplus_{\lambda \in \Delta} M'_\lambda. Comme AλMμ′⊂Mλ+μ+λ0=Mλ+μ′A_\lambda M'_\mu \subset M_{\lambda + \mu + \lambda_0} = M'_{\lambda + \mu}, M′M' est un AA-module et les Mλ′M'_\lambda forment sur M′M' une graduation de type Δ\Delta compatible avec la structure de AA-module de M′M'; on dit que le AA-module gradué M′M' de type Δ\Delta ainsi défini est obtenu par décalage de λ0\lambda_0 de la graduation de MM, et on le note M(λ0)M(\lambda_0). Lorsque Δ\Delta est un groupe, le AA-module sous-jacent au AA-module gradué M′M' s’identifie à MM.

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.