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 × NF, 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)
  • ex,y) − αe(x,y)
  • e(xy) − α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.

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


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

  • Produit (mathematiques) — Produit (mathématiques) Pour les articles homonymes, voir Produit. On nomme produit de nombres entiers, réels, complexes ou autres le résultat d une multiplication, ou expression qui identifie les facteurs à multiplier. L ordre dans lequel les… …   Wikipédia en Français