Algèbre graduée

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
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}, et donc \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).

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 s'il existe un entier strictement positif d tel que f(A_i)\subset B_{di} pour tout i.

Exemples[modifier | modifier le code]

Article connexe[modifier | modifier le code]

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