Produit tensoriel

Le produit tensoriel de deux modules est le réceptacle universel des applications bilinéaires, convertissant les constructions bilinéaires en constructions linéaires et permettant le changement de scalaires entre anneaux.

Definition

Le produit tensoriel de deux modules sur un anneau commutatif est un module muni d'une application bilinéaire vers celui-ci qui est universelle : toute application bilinéaire issue de la paire de modules se factorise de manière unique à travers lui comme une application linéaire.

Scope

Ce sujet couvre la construction et la propriété universelle du produit tensoriel de modules, son comportement sur les générateurs et les relations, le changement de base et l'extension des scalaires, le produit tensoriel d'espaces vectoriels et d'algèbres, ainsi que l'exactitude à droite du foncteur tensoriel.

Core questions

• Comment les applications bilinéaires peuvent-elles être transformées en applications linéaires ?
• Quelle propriété universelle définit le produit tensoriel ?
• Comment le produit tensoriel met-il en œuvre le changement de scalaires entre anneaux ?
• Comment le produit tensoriel interagit-il avec les sommes directes et les suites exactes ?

Key theories

Propriété universelle du produit tensoriel

Le produit tensoriel est le module unique à travers lequel toute application bilinéaire issue d'une paire de modules se factorise comme une application linéaire, ce qui le caractérise à isomorphisme près et régit toutes ses propriétés.

Extension des scalaires

Le produit tensoriel d'un module avec un anneau plus grand le long d'un homomorphisme d'anneaux étend ses scalaires, transformant un module sur un anneau en un module sur un autre, ce qui constitue le mécanisme de base du changement de base en algèbre et en géométrie.

Exactitude à droite du foncteur tensoriel

Le produit tensoriel préserve les conoyaux et les surjections mais pas en général les injections, il est donc exact à droite ; l'échec de l'exactitude à gauche est mesuré par les foncteurs dérivés Tor, fondant l'algèbre homologique.

Clinical relevance

Les produits tensoriels sont omniprésents : ils construisent l'algèbre multilinéaire ainsi que les algèbres extérieure et symétrique, modélisent les systèmes quantiques composites comme des produits tensoriels d'espaces d'états, implémentent le changement de base en géométrie algébrique, et sous-tendent les tenseurs de la géométrie différentielle et de l'apprentissage automatique.

History

Les tenseurs sont apparus dans les travaux de Ricci et Levi-Civita sur la géométrie différentielle et dans l'algèbre extérieure de Grassmann, tandis que le produit tensoriel en théorie des modules et sa propriété universelle ont été abstraits au milieu du XXe siècle avec le développement de l'algèbre homologique, devenant un outil standard grâce aux travaux de Cartan, Eilenberg et Mac Lane.

Key figures

• Hermann Grassmann
• Élie Cartan
• Emmy Noether
• Saunders Mac Lane

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

Quel problème le produit tensoriel résout-il ?

Il fournit un module unique à travers lequel toutes les applications bilinéaires se factorisent linéairement, de sorte que les questions bilinéaires deviennent des questions linéaires. Cette propriété universelle, et non une formule explicite, est ce qui rend la construction utile et bien définie.

Pourquoi le produit tensoriel est-il seulement exact à droite ?

Le produit tensoriel préserve les surjections et les conoyaux mais peut détruire l'injectivité, car les relations entre les éléments peuvent s'effondrer. L'échec précis est capturé par les foncteurs Tor, c'est pourquoi les produits tensoriels sont étudiés en parallèle avec l'algèbre homologique.