Exemple 3
Étiquette 0DGK, permanente. À citer comme [Bourbaki, Tag 0DGK].
Algebra, chapter III, § 3. Algèbres graduées
Algèbre d’un magma. Soient S un magma et soit un homomorphisme. Pour tout , posons ; on a alors . Soient A un anneau commutatif gradué de type , sa graduation; nous allons définir sur l’algèbre du magma S (III, p. 19) une structure de A-algèbre graduée. Pour cela, désignons par le sous-groupe additif de E engendré par les éléments de la forme tels que , et . Comme les sont deux à deux disjoints, E est somme directe des , donc aussi somme directe des , et il est immédiat que les vérifient les conditions (1) et (2) de III, p. 30 et définissent donc sur E la structure de A-algèbre graduée voulue. Si S admet un élément neutre , on supposera en outre que . Un cas particulier est celui où la graduation de l’anneau A est triviale; alors est le sous-A-module de E engendré par . Plus particulièrement, si l’on prend , et pour l’application telle que , l’anneau A étant muni de la graduation triviale, on obtient ainsi sur l’algèbre de polynômes une graduation pour laquelle le degré d’un polynôme homogène est le degré total défini dans III, p. 26 (cf. III, p. 73).
Prenons maintenant pour S le monoïde libre Mo(B) d’un ensemble B (I, p. 79), et pour l’homomorphisme qui à chaque mot associe sa longueur. On obtient ainsi une structure de A-algèbre graduée sur l’algèbre associative libre de l’ensemble B (III, p. 21; cf. III, p. 62).
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.