Une opération binaire qui mesure l'échec de deux éléments à commuter. Dans les groupes on définit souvent [a,b] = a^{-1} b^{-1} a b (ou de manière équivalente a b a^{-1} b^{-1} selon la convention) ; dans les algèbres de Lie le commutateur est le crochet de Lie [x,y] = xy - yx.

Principe

Le commutateur quantifie la non-commutativité : un commutateur trivial indique des éléments commutatifs, tandis que des commutateurs imbriqués construisent des mesures hiérarchiques de l'écart à l'abélianité ou à la résolubilité.

Démonstration

Dans le groupe des matrices 2×2 inversibles, prendre A = [[1,1],[0,1]] et B = [[1,0],[1,1]] ; leur commutateur [A,B] = A^{-1}B^{-1}AB est une matrice unipotente non triviale montrant que A et B ne commutent pas. Dans une algèbre de Lie de matrices, [X,Y]=XY-YX exprime la non-commutativité infinitésimale utilisée en équations différentielles et en théorie des représentations.

Mauvaise application

Employer la formule du commutateur de groupe sans tenir compte de la convention choisie conduit à des erreurs de signe ou d'inversion. Une autre mauvaise utilisation est de traiter le commutateur comme associatif ou de supposer que [a,b]=1 annule toute interaction dans des contextes où des extensions centrales ou la cohomologie produisent encore des structures non triviales.

Conséquence

Un emploi correct isole des sous-structures dérivées (engendrées par des commutateurs), permet de construire des suites (dérivée, centrale inférieure) classifiant la résolubilité et la nilpotence, et fournit des relations contrôlant les propriétés de représentation et cohomologiques.

Inversion

La renversement consiste à se concentrer sur l'anticommutateur ou la propriété de commutation : au lieu de mesurer l'échec à commuter, étudier le centralisateur des éléments (commutateur trivial) ou les produits symétrisés qui mettent l'accent sur la commutativité.

Limite

La définition dépend du contexte algébrique : les commutateurs de groupe diffèrent formellement des crochets de Lie et des commutateurs en algèbres associatives ; le calcul des commutateurs nécessite un produit associatif ou de type Lie et peut ne pas être défini dans des systèmes non associatifs arbitraires sans crochet choisi.

Tension sémantique

Il existe une tension entre différentes conventions de commutateur (ordre des inverses) et entre le commutateur groupique, le crochet de Lie et le commutateur dans une algèbre associative ; ces notions sont liées mais entraînent des conséquences algébriques et homologiques distinctes.

Synthèse

Le commutateur est la mesure binaire fondamentale [·,·] de la non-commutativité dont les valeurs engendrent des sous-structures dérivées, alimentent des suites classifiant la résolubilité et la nilpotence, et traduisent le comportement non commutatif en invariants et relations algébriques.