Foncteur Ext

Les foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques.

Pour les articles homonymes, voir Ext.

Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom.

Motivation : extensions de modules

Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules. On se donne trois objets X, Y et Z et on considère la classe E des suites exactes courtes de la forme

.

On parle d'extension de Z par X. Deux extensions

sont dites équivalente s'il existe un morphisme tel que le diagramme

commute, avec le morphisme identité. D'après le lemme des cinq, g est alors un isomorphisme.

La classe E modulo cette relation d'équivalence forme un ensemble, que l'on note , des (classes d') extensions de Z par X. On peut doter cet ensemble d'une structure de groupe abélien, avec la somme de Baer pour opération interne.

Définition

Soit R un anneau, on travaille dans la catégorie ModR des R-modules. Soit A un objet de ModR, soit T le foncteur Hom

.

C'est un foncteur exact à gauche. Il possède donc des foncteurs dérivés à droite. On définit le foncteur Ext ainsi :

.

En particulier, .

De manière duale, on peut utiliser le foncteur Hom contravariant et définir . Les foncteurs Ext ainsi construits, et calculés par exemple à partir de résolutions injectives ou projectives, sont isomorphes.

Référence

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.