Algèbre graduée

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’algèbre
Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Page d'aide sur l'homonymie Pour les articles homonymes, voir Algèbre (homonymie).

En mathématiques, en algèbre linéaire, on appelle algèbre graduée une algèbre dotée d'une structure supplémentaire, appelée graduation.

Définition[modifier | modifier le code]

Soit A une algèbre sur un corps (ou plus généralement sur un anneau) K. Une graduation sur A est la donnée d’une famille de sous-espaces vectoriels (A_i)_{i\in\N} de A vérifiant :

  • A = \bigoplus_{i\in\N}A_i
  • \forall  i,j\in\N,A_iA_j\subset A_{i+j}, c'est-à-dire que \forall \left[ i,j\in\N,x \in A_i, y \in A_j \right], \ \ x \times y \in A_{i+j}.

L’algèbre A est alors dite graduée (parfois ℕ-graduée, comme cas particulier de la notion d'algèbre M-graduée pour un monoïde M[1]).

Les éléments de Ai sont dits homogènes de degré i. Un idéal est dit homogène si, pour chaque élément a qu'il contient, il contient également les parties homogènes de a. Cela revient à dire que I est engendré par des éléments homogènes.

Tout anneau (non gradué) A peut être doté d'une graduation en posant A0 = A et Ai = 0 pour tout i > 0. Cette structure est appelée graduation triviale de A.

Une application f entre des algèbres graduées A et B (sur le même corps) est un homomorphisme d'algèbres graduées[1] si f(A_i)\subset B_i pour tout i.

Exemples[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. a et b N. Bourbaki, Algèbre (lire en ligne), p. III.30.

Article connexe[modifier | modifier le code]

Algèbre différentielle graduée (en)