Algèbre graduée
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.
Un organigramme de diverses structures algébriques et leurs relations les unes avec les autres.
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 sur un anneau) K. Une graduation sur A est la donnée d’une famille de sous-espaces vectoriels ( A i ) i ∈ N {\displaystyle (A_{i})_{i\in \mathbb {N} }} de A vérifiant :
de A vérifiant :
- A = ⨁ i ∈ N A i {\displaystyle A=\bigoplus _{i\in \mathbb {N} }A_{i}} ;
- ∀ i , j ∈ N , A i A j ⊂ A i + j {\displaystyle \forall i,j\in \mathbb {N} ,A_{i}A_{j}\subset A_{i+j}} , c'est-à-dire que ∀ , x × y ∈ A i + j {\displaystyle \forall \left,\ \ x\times y\in A_{i+j}} .
;
, c'est-à-dire que
∀
,
x
×
y
∈
A
i
+
j
{\displaystyle \forall \left,\ \ 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).
Les éléments non nuls de Ai sont dits homogènes de degré i. Un idéal est dit homogène si, pour chaque élément a {\displaystyle a} qu'il contient, il contient également les composantes homogènes de a {\displaystyle a} (les a i {\displaystyle a_{i}} de l'unique décomposition a = a 0 + a 1 + ⋯ + a n {\displaystyle a=a_{0}+a_{1}+\cdots +a_{n}} telle que pour tout i ∈ N , a i ∈ A i ∖ { 0 } {\displaystyle i\in \mathbb {N} ,a_{i}\in A_{i}\setminus \{0\}} ). Cela revient à dire que I est engendré par des éléments homogènes.
qu'il contient, il contient également les composantes homogènes de
a
{\displaystyle a}
de l'unique décomposition
a
=
a
0
+
a
1
+
⋯
+
a
n
{\displaystyle a=a_{0}+a_{1}+\cdots +a_{n}}
telle que pour tout
i
∈
N
,
a
i
∈
A
i
∖
{
0
}
{\displaystyle i\in \mathbb {N} ,a_{i}\in A_{i}\setminus \{0\}}
). 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 si f ( A i ) ⊂ B i {\displaystyle f(A_{i})\subset B_{i}} pour tout i.
pour tout i.
Exemples
- L'anneau de polynômes en d indéterminées K, où les éléments homogènes de degré n sont les polynômes homogènes de degré n.
- 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 v 1 ⊗ v 2 ⊗ ⋯ ⊗ v n {\displaystyle v_{1}\otimes v_{2}\otimes \dots \otimes v_{n}} .
- L'algèbre symétrique 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 ( A / I ) i = A i / ( I ∩ A i ) . {\displaystyle (A/I)_{i}=A_{i}/(I\cap A_{i}).}
.
Notes et références
- N. Bourbaki, Algèbre (lire en ligne), III.30.
Article connexe
Algèbre différentielle graduée (en)
