Bourbaki

Exemple 7

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

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

Si aa est un élément homogène de degré δ\delta appartenant au centre de AA, l’homothétie x↦axx \mapsto ax d’un AA-module gradué quelconque MM est un homomorphisme gradué de degré δ\delta.

Remarque 3). — On dit qu’un AA-module gradué MM est un AA-module gradué libre s’il existe une base (mi)i∈I(m_i)_{i \in I} de MM formée d’éléments homogènes. Supposons qu’il en soit ainsi et que Δ\Delta soit un groupe commutatif; soit λi\lambda_i le degré de mim_i, et considérons pour chaque ii le AA-module décalé A(−λi)A(-\lambda_i) (II, p. 165, Exemple 3); si on désigne par eie_i l’élément 1 de AA, considéré comme élément de degré λi\lambda_i dans A(−λi)A(-\lambda_i), l’application AA-linéaire u:⨁i∈IA(−λi)→Mu : \bigoplus_{i \in I} A(-\lambda_i) \to M telle que u(ei)=miu(e_i) = m_i pour tout ii, est un isomorphisme de AA-modules gradués.

Supposant toujours que Δ\Delta est un groupe commutatif, soient maintenant NN un AA-module gradué, (ni)i∈I(n_i)_{i \in I} un système de générateurs homogènes de NN, et supposons que nin_i soit de degré μi\mu_i. Alors l’application AA-linéaire v:⨁i∈IA(−μi)→Nv : \bigoplus_{i \in I} A(-\mu_i) \to N telle que u(ei)=niu(e_i) = n_i pour tout ii est un homomorphisme surjectif de degré 0 de AA-modules gradués. Si NN est un AA-module gradué de type fini, il y a toujours un système fini de générateurs homogènes de NN, et on aura donc un homomorphisme surjectif du type précédent avec II finit.

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.