Exemple 7
Étiquette 0DGB, permanente. À citer comme [Bourbaki, Tag 0DGB].
Algebra, chapter II, § 11. Modules et anneaux gradués
Si est un élément homogène de degré appartenant au centre de , l’homothétie d’un -module gradué quelconque est un homomorphisme gradué de degré .
Remarque 3). — On dit qu’un -module gradué est un -module gradué libre s’il existe une base de formée d’éléments homogènes. Supposons qu’il en soit ainsi et que soit un groupe commutatif; soit le degré de , et considérons pour chaque le -module décalé (II, p. 165, Exemple 3); si on désigne par l’élément 1 de , considéré comme élément de degré dans , l’application -linéaire telle que pour tout , est un isomorphisme de -modules gradués.
Supposant toujours que est un groupe commutatif, soient maintenant un -module gradué, un système de générateurs homogènes de , et supposons que soit de degré . Alors l’application -linéaire telle que pour tout est un homomorphisme surjectif de degré 0 de -modules gradués. Si est un -module gradué de type fini, il y a toujours un système fini de générateurs homogènes de , et on aura donc un homomorphisme surjectif du type précédent avec 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.