Bourbaki

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 φ:S→Δ\varphi : S \to \Delta un homomorphisme. Pour tout λ∈Δ\lambda \in \Delta, posons Sλ=φ−1(λ)S_\lambda = \varphi^{-1}(\lambda); on a alors SλSμ⊂Sλ+μS_\lambda S_\mu \subset S_{\lambda + \mu}. Soient A un anneau commutatif gradué de type Δ\Delta, (Aλ)λ∈Δ(A_\lambda)_{\lambda \in \Delta} sa graduation; nous allons définir sur l’algèbre E=A(S)E = A^{(S)} du magma S (III, p. 19) une structure de A-algèbre graduée. Pour cela, désignons par EλE_\lambda le sous-groupe additif de E engendré par les éléments de la forme α.s\alpha . s tels que α∈Aμ\alpha \in A_\mu, s∈Sνs \in S_\nu et μ+ν=λ\mu + \nu = \lambda. Comme les SλS_\lambda sont deux à deux disjoints, E est somme directe des AμSνA_\mu S_\nu, donc aussi somme directe des EλE_\lambda, et il est immédiat que les EλE_\lambda 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 ee, on supposera en outre que φ(e)=0\varphi(e) = 0. Un cas particulier est celui où la graduation de l’anneau A est triviale; alors EλE_\lambda est le sous-A-module de E engendré par SλS_\lambda. Plus particulièrement, si l’on prend S=N(I)S = \mathbf{N}^{(I)}, Δ=N\Delta = \mathbf{N} et pour φ\varphi l’application telle que φ((ni))=∑i∈Ini\varphi((n_i)) = \sum_{i \in I} n_i, l’anneau A étant muni de la graduation triviale, on obtient ainsi sur l’algèbre de polynômes A[Xi]i∈IA[X_i]_{i \in I} une graduation pour laquelle le degré d’un polynôme homogène ≠0\neq 0 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 φ\varphi l’homomorphisme Mo(B)→N\mathrm{Mo}(B) \to \mathbf{N} 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.

Transcrit du volume imprimé. Non traduit.