- Diagramme commutatif
-
En mathématiques, et plus spécialement dans les applications de la théorie des catégories, un diagramme commutatif est un diagramme d'objets et de morphismes tels que, lorsque l'on choisit deux objets, on peut suivre un chemin quelconque à travers le diagramme et obtenir le même résultat par composition des morphismes.
Par exemple, le premier théorème de l'isomorphisme est un triangle commutatif comme suit :
Puisque
, le diagramme de gauche est commutatif ; et puisque 
, il en est de même pour le diagramme de droite.Sur le diagramme de gauche, il est possible d'aller de G à Im f par deux chemins différents : soit directement grâce à l'application f, soit par composition des applications h et
. De même, le diagramme de droite est commutatif, puisqu'on peut aller de G à 
soit directement par l'application , soit par la composition de k par f en passant par l'ensemble intermédiaire Im f.
De la même manière, le carré ci-dessus est commutatif si
.Vérification de la commutativité
La commutativité est aisément compréhensible pour un polygone avec un nombre fini de côtés (y compris seulement 1 ou 2), et un diagramme est commutatif si tout sous-diagramme polygonal est commutatif.
Voir aussi
- Lemme des cinq
- Lemme des neuf (en)
- Lemme du serpent
- Lemme du zig-zag (en)
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Commutative diagram » (voir la liste des auteurs)
Wikimedia Foundation. 2010.
