Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Foncteur Tor
Résumé
En mathématiques, le foncteur Tor est le foncteur dérivé associé au foncteur produit tensoriel. Il trouve son origine en algèbre homologique, où il apparaît notamment dans l'étude des suites spectrales et dans la formulation du théorème de Künneth.
Les foncteurs dérivés tentent de mesurer le défaut d'exactitude d'un foncteur. Soit R un anneau, considérons la catégorie RMod des R-modules et ModR des R-modules à droite.
Soit une suite exacte courte de R-modules à gauche :
L'application du produit tensoriel à gauche par un R-module à droite A est exacte à droite, on obtient la suite exacte courte de groupes abéliens :
L'application n'est en général pas injective, et en conséquence on ne peut pas prolonger la suite exacte à gauche.
Si on note T le foncteur de la catégorie ModR des R-modules à droite dans la catégorie Ab des groupes abéliens qui correspond au produit tensoriel. Ce foncteur est exact à droite mais pas à gauche, on définit les foncteurs Tor à partir des foncteurs dérivés à gauche par :
C'est donc un bifoncteur de ModR × RMod dans Ab.
Le foncteur Tor est additif, c'est-à-dire que l'on a :
Il commute même avec des sommes directes arbitraires.
Dans le cas où l'anneau R est commutatif, si r n'est pas un diviseur de zéro, on a :
ce qui explique l'origine du nom « Tor » : il s'agit, dans ce cas, du sous-groupe de torsion. En particulier,
où intervient le plus grand commun diviseur des entiers m et n. En vertu du théorème de structure des groupes abéliens de type fini, et de la propriété d'additivité, cela permet d'étudier le foncteur Tor pour n'importe quel groupe abélien de type fini.
Si l'anneau R est principal, Tor = 0 pour tout n ≥ 2 car tout R-module admet une libre de longueur 1.
Un module est plat si et seulement si son premier foncteur Tor est trivial (et alors, tous les foncteurs Tor le sont). On peut notamment définir Tor à partir d'une résolution plate au lieu de projective.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.