Propriété algébrique d'une opération binaire selon laquelle l'échange de l'ordre des deux opérandes n'altère pas le résultat : pour tous a, b du domaine, a·b = b·a.

Principe

La commutativité autorise le réordonnancement des opérandes sans changer le résultat ; c'est l'invariance par la transposition des deux entrées.

Démonstration

Addition des réels : 2+5 = 5+2. La multiplication scalaire est commutative en tant que produit de réels. En revanche, la multiplication de matrices échoue en général : AB ≠ BA.

Mauvaise application

Supposer que des opérateurs commutent alors qu'ils ne le font pas — par exemple permuter deux matrices non commutatives, ou commuer des opérateurs linéaires agissant sur sous-espaces qui se recoupent — conduit à des simplifications erronées et à de fausses conclusions spectrales.

Conséquence

Lorsque la commutativité vaut, les expressions se réordonnent en formes canoniques, les identités polynomiales se simplifient (polynômes symétriques), et des structures algébriques comme les anneaux commutatifs apparaissent avec une théorie des idéaux plus simple.

Inversion

Les opérations non commutatives (p. ex. multiplication matricielle, composition de certaines applications linéaires, multiplication d'opérateurs en mécanique quantique) exigent le maintien de l'ordre ; inverser l'ordre peut changer le résultat et introduire des commutateurs [A,B] = AB−BA.

Limite

S'applique à une opération binaire donnée sur un ensemble et ne découle ni de l'associativité ni de la distributivité. La commutativité peut tenir élément par élément (éléments qui commutent entre eux) même si l'opération n'est pas globalement commutative.

Tension sémantique

Souvent confondue avec la symétrie sous toutes les permutations : la commutativité est l'invariance sous l'échange d'une paire, alors que l'invariance sous permutations multiples est plus forte. Reliée mais distincte de la centralité (un élément qui commute avec tous les autres).

Synthèse

La Loi de Commutativité affirme que pour une opération binaire donnée, l'ordre des deux opérandes peut être échangé sans modifier le résultat, ce qui permet le réarrangement, la simplification symétrique et des théories algébriques particulières quand la commutativité est globale.