- Produit tensoriel d'algèbres
-
En mathématique, le produit tensoriel de deux algèbres est une nouvelle algèbre.
Définition
Soit R un anneau commutatif. Soient A,B deux R-algèbres (non nécessairement commutatives). On peut les considérer comme des R-modules et construire le produit tensoriel
. On montre qu'il existe une loi de composition interne sur ce produit tensoriel uniquement déterminée par la règle
.
pour tous
et
. La structure de R-module plus cette loi de composition interne fait de
une R-algèbre.
Il existe des homomorphismes de R-algèbres canoniques
,
définis respectivement par
et
.
Ce produit tensoriel possède de plus une structure de A-algèbre à gauche lorsque A est commutatif, et une structure de B-algèbre à droite lorsque B est commutatif.
Exemples:- Produit tensoriel d'algèbres de matrices
- Produit tensoriel d'algèbres centrales simples
.
Propriété universelle
Lorsque A et B sont commutatifs, le produit tensoriel
est leur somme catégorielle dans la catégorie des R-algèbres commutatives:
- Si
et
sont des homomorphismes de R-algèbres commutatives, alors il existe un unique homomorphisme de R-algèbres
tel que
et
pour tous
.
En géométrie algébrique, cette propriété universelle permet de définir le produit fibré de deux schémas affines au-dessus d'un même schéma affine.
Références
(en) S. Lang: Algebra, Springer, third edition 2002, XVI, §6.
Wikimedia Foundation. 2010.