Produit tensoriel de deux modules

Produit tensoriel de deux modules

Le produit tensoriel de deux modules est une construction en théorie des modules qui à deux modules sur un même anneau assigne un module. C'est une construction abstraite qui est plus simple à assimiler en se limitant dans un premier temps au cas des espaces vectoriels. Le produit tensoriel est très important dans le domaine de la topologie algébrique et de la géométrie algébrique. Le produit tensoriel permet en outre de ramener l'étude d'applications bilinéaires ou multilinéaires à des applications linéaires.

Introduction - applications bilinéaires

Lorsque M, N et F sont trois modules sur un même anneau commutatif unitaire A, on appelle application bilinéaire une application f : M × N → F, telle que :

  • f est linéaire à gauche, c'est-à-dire que \forall \alpha, \beta \in A, \forall x, y \in M, \forall z \in N, f(\alpha x + \beta y,z) = \alpha f(x,z) + \beta f(y,z).
  • f est linéaire à droite, c'est-à-dire que \forall \alpha, \beta \in A, \forall x \in M, \forall y, z \in N, f(x, \alpha y + \beta z) = \alpha f(x,y) + \beta f(x,z).

Les applications bilinéaires sont des objets mathématiques compliqués, c'est pourquoi on peut être tenté de ramener le problème des applications bilinéaires à celui des applications linéaires. En d'autres termes, on se propose de définir un module M \otimes N et une application bilinéaire \varphi : M \times N \to M \otimes N tels que toute application bilinéaire f : M \times N \to F se factorise de manière unique à droite par φ, c'est-à-dire qu'il existe une et une seule application linéaire g : M \otimes N \to F telle que f = g \circ \varphi.

On peut prouver qu'un tel couple (M \otimes N, \varphi) existe et est unique à unique isomorphisme près.

Définition

Soient M et N deux modules sur un même anneau commutatif unitaire A. L'espace C = A^{(M \times N)} est le A-module des combinaisons linéaires formelles d'éléments de M × N. C est un A-module libre dont (e_{(x,y)})_{(x,y) \in M \times N} est la base canonique.

On souhaite que les éléments de la forme

  • e(x + y,z) − e(x,z) − e(y,z)
  • e(x,y + z) − e(x,y) − e(x,z)
  • e(αx,y) − αe(x,y)
  • e(x,αy) − αe(x,y)

soient identifiés comme nuls. On appelle donc D le sous-module de C engendré par les éléments de la forme précédente. On appelle produit tensoriel de M et N, et on note M \otimes_A N le module quotient C/D. Il est important de préciser l'anneau des scalaires A dans la notation du produit tensoriel. Néanmoins, si la situation est assez claire, on peut se permettre de ne pas trop surcharger les notations. On note x \otimes y la classe de e(x,y) dans M \otimes_A N.

Réponse à la question initiale

La construction du produit tensoriel permet d'affirmer que (x,y) \mapsto x \otimes y est une application bilinéaire, que l'on note \varphi : M \times N \to M \otimes_A N.

Montrons que ce module résout bien le problème des applications bilinéaires posé en introduction. Pour cela, donnons-nous une application bilinéaire f : M \times N \to F. Comme le module C est libre, définir une application linéaire de C dans F revient à choisir l'image des éléments de la base canonique de C. On définit ainsi l'application \overline{f} par :

\forall (x,y) \in M \times N, \overline{f}(e_{(x,y)}) = f(x,y)

Mais, le fait que f soit bilinéaire implique que :

  • \overline{f}(e_{(x+y,z)} - e_{(x,z)} - e_{(y,z)}) = 0
  • \overline{f}(e_{(x,y+z)} - e_{(x,y)} - e_{(x,z)}) = 0
  • \overline{f}(e_{(\alpha x, y)} - \alpha e_{(x,y)}) = 0
  • \overline{f}(e_{(x, \alpha y)} - \alpha e_{(x,y)}) = 0

Donc le sous-module D est inclus dans le noyau de f. On déduit par passage au quotient qu'il existe une application g : M \otimes_A N = C/D \to F telle que :

f(x,y) = g(x \otimes y) = g \circ \varphi(x,y)

De plus g est unique car les éléments de la forme x \otimes y engendrent M \otimes_A N.

Montrons finalement que M \otimes_A N est unique à un isomorphisme près, c'est-à-dire que s'il existe un module H tel que :

  • Il existe une application bilinéaire surjective \varphi' : M \times N \to H.
  • Si f : M × N → F est une application bilinéaire, il existe une unique application linéaire g : H → F telle que f = g \circ \varphi'.

alors H est isomorphe à M \otimes_A N.

Si tel est le cas, comme \varphi : M \times N \to M \otimes_A N est bilinéaire, il existe une application u_1 : H \to M \otimes_A N telle que \varphi = u_1 \circ \varphi'. De même, comme \varphi' : M \times N \to H est bilinéaire, il existe une application u_2 : M \otimes_A N \to H telle que \varphi' = u_2 \circ \varphi. Donc \varphi = u_1 \circ u_2 \circ \varphi et comme φ est surjectif, on déduit u_1 \circ u_2 = id. De même u_2 \circ u_1 = id. Donc M \otimes_A N et H sont des A-modules isomorphes.
 

Généralisation à un produit fini de modules

Ce qui a été fait précédemment se généralise sans peine aux applications multilinéaires. Soit E_1, \dots E_n n modules sur un même anneau commutatif unitaire A. On considère le module produit E = E_1 \times \cdots \times E_n. Une application f : E → F est dite n-linéaire si

Quels que soient l'indice i et les n - 1 éléments x_k \in E_k (k \neq i), l'application partielle x_i \mapsto f(x_1, \dots, x_{i-1}, x_i, x_{i+1}, \dots, x_n) est linéaire.

Il existe un A-module que l'on note \bigotimes_{i=1}^n E_i et une application n-linéaire surjective \varphi : (x_1, \dots, x_n) \mapsto x_1 \otimes x_2 \otimes \cdots \otimes x_n de E dans \bigotimes_{i=1}^n E_i telle que pour toute application n-linéaire de E dans un module d'arrivée F, il existe une unique application linéaire g : \bigotimes_{i=1}^n E_{i}\to F telle que f = g \circ \varphi.

En fait, le produit tensoriel de deux modules est associatif au sens suivant : si E, F, G sont trois modules sur un anneau commutatif unitaire A, alors les modules (E \otimes_A F) \otimes_A G, E \otimes_A (F \otimes_A G) et E \otimes_A F \otimes_A G sont isomorphes.

v · Théorie des anneaux
Anneau unitaire • Anneau commutatif • Corps des fractions • Idéal • Anneau principal • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau artinien • Algèbre sur un anneau • Module • Module monogène • Module libre • Facteur direct • Module quotient • Dual d'un module • Annulateur • Produit tensoriel • Puissance extérieure • Bimodule • Module simple • Module semi-simple • Longueur d'un module • Module projectif • Module injectif • Module plat • Module fidèle • Module artinien
v · tenseurs en mathématiques et physique
Article général : Tenseur
Mathématiques Tenseur en mathématiques · Produit tensoriel · ... de deux modules · ... de deux applications linéaires · Algèbre tensorielle · Champ tensoriel · Espace tensoriel
Physique Convention de sommation d'Einstein · Tenseur métrique · Tenseur énergie-impulsion · Tenseur de Riemann · ... de Ricci · ... d'Einstein · ... de Weyl · ... de Levi-Civita · ... de Killing · ... de Killing-Yano · ... de Bel-Robinson · ... de Cotton-York · Tenseur électromagnétique · Tenseur des contraintes · Tenseur des déformations
Articles connexes : Modules · Algèbre extérieure

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit tensoriel de deux modules de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Produit tensoriel de deux applications lineaires — Produit tensoriel de deux applications linéaires Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ… …   Wikipédia en Français

  • Produit tensoriel de deux applications linéaires — Le produit tensoriel de deux applications linéaires est une construction qui à deux applications linéaires u d un A module E1 dans F1, et v d un A module E2 dans F2, associe une troisième application linéaire du produit tensoriel dans le produit… …   Wikipédia en Français

  • Produit tensoriel — On appelle produit tensoriel, ou produit de Kronecker, le produit de chaque composante d un tenseur par chaque composante d un autre tenseur. Le produit d un tenseur d ordre p avec un tenseur d ordre q est un tenseur d ordre p + q (si le produit… …   Wikipédia en Français

  • Produit tensoriel et représentations de groupes finis — En mathématiques et plus précisément dans le cadre de la théorie des représentations d un groupe fini, le produit tensoriel est une technique permettant de construire une représentation d un groupe fini à partir de deux autres. Une représentation …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Produit exterieur — Produit extérieur Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ tensoriel Espace tensoriel …   Wikipédia en Français

  • Produit extérieur — En mathématiques, la notion de produit extérieur permet de rendre compte de façon algébrique des notions de parallélogrammes, parallélépipèdes, etc... de dimensions quelconques, vus comme produits des vecteurs qui en représentent les côtés. Parmi …   Wikipédia en Français

  • Produit vectoriel et algèbre — Produit vectoriel Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel d analyse vectorielle écrit par Josiah …   Wikipédia en Français

  • Produit vectoriel — En mathématiques, et plus précisément en géométrie, le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1],[2]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel… …   Wikipédia en Français

  • Calcul tensoriel — Champ tensoriel Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ tensoriel Espace tensoriel …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”