Die algebraische Eigenschaft einer binären Operation, dass das Vertauschen der Reihenfolge der beiden Operanden das Ergebnis nicht ändert: für alle a, b im Träger gilt a·b = b·a.

Prinzip

Kommutativität erlaubt das Umordnen von Operanden ohne Änderung des Ergebnisses; sie ist die Invarianz unter der Transposition der beiden Eingaben.

Demonstration

Addition reeller Zahlen: 2+5 = 5+2. Skalarmultiplikation reeller Zahlen kommutiert. Im Gegensatz dazu gilt Matrizenmultiplikation allgemein nicht: AB ≠ BA.

Fehlanwendung

Anzunehmen, Operatoren würden kommutieren, obwohl sie es nicht tun — z. B. nichtvertauschbare Matrizen vertauschen oder lineare Operatoren, die auf sich überschneidenden Teilräumen wirken, kommutieren lassen — führt zu falschen Vereinfachungen und Spektralschlüssen.

Konsequenz

Wenn Kommutativität gilt, lassen sich Ausdrücke zu kanonischen Formen ordnen, polynomielle Identitäten vereinfachen sich (symmetrische Polynome) und es entstehen kommutative Ringe mit vereinfachter Idealtheorie.

Umkehrung

Nichtkommutative Operationen (z. B. Matrizenmultiplikation, Verkettung bestimmter linearer Abbildungen, Operatorprodukt in der Quantenmechanik) erfordern Erhalt der Reihenfolge; Umkehrung kann das Ergebnis ändern und Kommutatoren [A,B] = AB−BA erzeugen.

Abgrenzung

Gilt für eine bestimmte binäre Operation auf einer Menge und folgt weder aus Assoziativität noch aus Distributivität. Kommutativität kann elementweise gelten (Elemente, die miteinander kommutieren), obwohl die Operation nicht global kommutativ ist.

Semantische Spannung

Wird oft mit Symmetrie unter allen Permutationen verwechselt: Kommutativität ist Invarianz unter dem Austausch eines Paars, vollständige Permutationsinvarianz ist stärker. Verwandt, aber verschieden ist Zentralität: ein Element, das mit allen anderen kommutiert.

Synthese

Das Kommutativgesetz besagt, dass bei einer gegebenen binären Operation die Reihenfolge der beiden Operanden ohne Änderung des Ergebnisses vertauscht werden kann, was Umordnungen, symmetrische Vereinfachungen und spezielle algebraische Theorien ermöglicht, wenn Kommutativität global gilt.