Foncteur Ext

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 (en), mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques.

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

Motivation : extensions de modules[modifier | modifier le code]

Soit A une catégorie abélienne. D'après le théorème de Mitchell (en), 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

0 \to X \to Y \to Z \to 0

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

0 \to X \to Y \to Z \to 0
0 \to X \to Y' \to Z \to 0

sont dites équivalente s'il existe un morphisme g : Y \to Y' tel que le diagramme

\begin{matrix}
0 & \to & X & \to & Y & \to & Z & \to & 0\\
& & \downarrow \operatorname{id}  && \downarrow g && \downarrow \operatorname{id}\\
0 & \to & X & \to & Y' & \to & Z & \to & 0
\end{matrix}

commute, avec \operatorname{id} 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 \operatorname{Ext}^1(X, Z), 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[modifier | modifier le code]

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

T(B) = \operatorname{Hom}_R(A, B)

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

\operatorname{Ext}_R^n(A, B) = (R^nT)(B)

En particulier, \operatorname{Ext}^0 = \operatorname{Hom}.

De manière duale, on peut utiliser le foncteur Hom contravariant G(A) = \operatorname{Hom}_R(A, B) et définir \operatorname{Ext}_R^n(A,B)=(R^nG)(A). Les foncteurs Ext ainsi construits, et calculés par exemple à partir de résolutions injectives ou projectives, sont isomorphes.

Référence[modifier | modifier le code]