- 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.