Die Eigenschaft einer binären Verknüpfung · auf einer Menge, dass für alle Elemente a und b die Gleichheit a·b = b·a gilt; die Reihenfolge der Operanden beeinflusst das Ergebnis nicht.

Prinzip

Ordnungsinvarianz: Das Resultat der Verknüpfung zweier Elemente ist unabhängig von ihrer Reihenfolge, was algebraische Manipulationen und symmetrische Umformungen ermöglicht.

Demonstration

Bei den reellen Zahlen gilt für die gewöhnliche Multiplikation 3·5 = 5·3 = 15; bei Matrizen A und B dagegen gilt im Allgemeinen AB ≠ BA und zeigt damit das Versagen der Gesetzmäßigkeit.

Fehlanwendung

Das Setzen von Kommutativität in nichtkommutativen Strukturen (z. B. Matrizenmultiplikation oder Funktionskomposition) führt zu fehlerhaften Umstellungen und falschen Vereinfachungen.

Konsequenz

Ist die Eigenschaft in einer Struktur gültig, erlaubt sie das Vertauschen von Faktoren in Beweisen und Berechnungen, vereinfacht die Behandlung symmetrischer Polynome und reduziert Fallunterscheidungen.

Umkehrung

Nichtkommutativität: Verknüpfungen, für die a·b und b·a verschieden sind; in manchen Kontexten untersucht man Antikommutativität, etwa a·b = −b·a (äußere Algebra), als Gegenbild zur Kommutativität.

Abgrenzung

Gilt nur für die angegebene binäre Verknüpfung und nur wenn die Gleichheit für alle Elementpaare zutrifft; viele algebraische Systeme besitzen nur partielle Kommutativität (kommutierende Paare) oder sind nichtkommutativ.

Semantische Spannung

Kommutativität steht in Spannung zu Begriffen wie Symmetrie oder dem Begriff 'abelsch': 'kommutativ' beschreibt eine Operation, 'abelsch' hingegen eine ganze Gruppe mit kommutativer Verknüpfung.

Synthese

Das Kommutativgesetz fordert globale Reihenfolgeunabhängigkeit einer binären Operation; es vereinfacht Struktur und Rechnen, sein Fehlen kennzeichnet dagegen nichtabelsche Phänomene, die besondere Behandlung erfordern.