Propriété d'une opération binaire · sur un ensemble affirmant que pour toute paire d'éléments a et b l'égalité a·b = b·a est vérifiée ; l'ordre des opérandes n'affecte pas le résultat.

Principe

Invariance d'ordre : le résultat de la combinaison de deux éléments est indépendant de leur séquence, ce qui organise les manipulations algébriques et permet des traitements symétriques.

Démonstration

Dans les nombres réels avec la multiplication usuelle, 3·5 = 5·3 = 15 ; en revanche, pour des matrices 2×2 A et B, en général AB ≠ BA, ce qui illustre l'échec de la loi.

Mauvaise application

Supposer la commutativité dans des structures non commutatives (par exemple traiter la multiplication de matrices ou la composition de fonctions comme commutatives) conduit à des réarrangements incorrects et à des simplifications fausses.

Conséquence

Lorsque la loi est vraie sur une structure, les démonstrations et calculs peuvent permuter les facteurs, ce qui facilite la théorie des polynômes symétriques, les identités algébriques et la réduction des cas à traiter.

Inversion

Non-commutativité : opérations pour lesquelles a·b et b·a diffèrent ; dans certains contextes on étudie l'anti-commutativité où a·b = −b·a (algèbre extérieure) comme inversion conceptuelle de la commutativité.

Limite

S'applique uniquement à l'opération binaire spécifiée et uniquement si l'égalité vaut pour toutes les paires d'éléments ; de nombreux systèmes algébriques ont des opérations seulement partiellement commutatives (éléments qui commutent entre eux) ou non commutatives.

Tension sémantique

La commutativité se trouve en tension avec les notions de symétrie et de propriété abélienne : « commutatif » qualifie une opération, tandis que « abélien » qualifie généralement un groupe entier dont l'opération est commutative.

Synthèse

La loi commutative affirme l'indépendance globale de l'ordre pour une opération binaire ; présente elle simplifie la structure algébrique et le calcul, absente elle signale un comportement non abélien plus riche à gérer explicitement.