Eine binäre Operation, die das Versagen zweier Elemente zu kommutieren misst. In Gruppen definiert man häufig [a,b] = a^{-1} b^{-1} a b (oder äquivalent a b a^{-1} b^{-1} je nach Konvention); in Lie-Algebren ist der Kommutator die Lie-Klammer [x,y] = xy - yx.

Prinzip

Der Kommutator quantifiziert Nichtkommutativität: ein trivialer Kommutator zeigt kommutierende Elemente an, während verschachtelte Kommutatoren hierarchische Maße dafür aufbauen, wie weit die Struktur von Abelschkeit oder Lösbarkeit entfernt ist.

Demonstration

In der Gruppe der invertierbaren 2×2-Matrizen wähle A = [[1,1],[0,1]] und B = [[1,0],[1,1]]; ihr Kommutator [A,B] = A^{-1}B^{-1}AB ist eine nichttriviale unipotente Matrix, die zeigt, dass A und B nicht kommutieren. In einer Lie-Algebra von Matrizen liefert [X,Y]=XY-YX die infinitesimale Nichtkommutativität, die in Differentialgleichungen und Darstellungstheorie auftritt.

Fehlanwendung

Die Gruppen-Kommutatorformel ohne Beachtung der Konvention anzuwenden führt zu Vorzeichen- oder Inversionsfehlern. Eine weitere Fehlanwendung ist, den Kommutator als assoziativ zu behandeln oder anzunehmen, dass [a,b]=1 jede Wechselwirkung ausschließt, obwohl zentrale Erweiterungen oder Kohomologie noch nichttriviale Strukturen erzeugen können.

Konsequenz

Richtig eingesetzt isoliert der Kommutator abgeleitete Unterstrukturen (von Kommutatoren erzeugt), unterstützt die Konstruktion von Reihen (abgeleitete Reihe, untere zentrale Reihe), die Lösbarkeit und Nilpotenz klassifizieren, und liefert Relationen, die Darstellungs- und kohomologische Eigenschaften steuern.

Umkehrung

Die Umkehr besteht darin, sich auf den Antikommutator oder die Eigenschaft des Kommutierens zu konzentrieren: statt das Nichtkommutieren zu messen, untersucht man Zentralisatoren (Elemente mit trivialem Kommutator) oder symmetrisierte Produkte, die Kommutativität betonen.

Abgrenzung

Die Definition hängt vom algebraischen Kontext ab: Gruppenkommutatoren unterscheiden sich formal von Lie-Klammern und von Kommutatoren in assoziativen Algebren; Kommutatorenkalkül benötigt ein assoziatives oder Lie-ähnliches Produkt und ist in beliebigen nichtassoziativen Systemen ohne gewählten Klammerbegriff nicht unbedingt sinnvoll.

Semantische Spannung

Spannungen bestehen zwischen verschiedenen Kommutatorkonventionen (Reihenfolge der Inversen) und zwischen gruppentheoretischen Kommutatoren, Lie-Klammern und Kommutatoren in assoziativen Algebren; sie sind verwandt, führen aber zu unterschiedlichen algebraischen und homologischen Folgen.

Synthese

Der Kommutator ist das grundlegende binäre Maß [·,·] der Nichtkommutativität, dessen Werte abgeleitete Unterstrukturen erzeugen, Reihen zur Klassifikation von Lösbarkeit und Nilpotenz speisen und das nichtkommutative Verhalten in algebraische Invarianten und Relationen überführen.