- Algèbre graduée
-
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
Soit A une algèbre sur un corps (ou plus généralement une algèbre sur un anneau). Une graduation sur A est la donnée d’une famille de sous-espaces vectoriels de A vérifiant :
- .
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 pour tout i.
Exemples
- Les anneaux de polynômes en plusieurs indéterminées A[X1,X2,...], pour lesquels les éléments homogènes (de degré k) sont des combinaisons linéaires de monômes de même degré total k=n_1+n_2+....
- L'algèbre tensorielle T(V) sur un espace vectoriel V, où les éléments homogènes de degré n sont les tenseurs de la forme .
- L'algèbre symétrique (en) S(V) et l'algèbre extérieure Λ(V) sont des algèbres graduées, les éléments homogènes de degré n étant les images des éléments homogènes de T(V). Plus généralement, si un idéal I d'une algèbre graduée A est homogène, le quotient A / I est naturellement gradué par .
Wikimedia Foundation. 2010.