Eine Identität für eine bilineare Klammer [·,·] auf einer algebraischen Struktur, die besagt, dass [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0 für alle x,y,z gilt und die zyklische Symmetrie für Lie-ähnliche Strukturen kodiert.

Prinzip

Vorschrift der zyklischen Vanishen verschachtelter Klammern, sodass die adjungierte Wirkung jedes Elements als Derivation wirkt und Strukturkonstanten antisymmetrische Verträglichkeitsbedingungen erfüllen.

Demonstration

Für die Kommutator-Klammer bei quadratischen Matrizen [A,B]=AB−BA zeigt eine direkte Rechnung, dass [A,[B,C]]+[B,[C,A]]+[C,[A,B]]=0 gilt, weshalb der Raum der Matrizen mit diesem Kommutator eine Lie-Algebra bildet.

Fehlanwendung

Zu erwarten, dass die Jacobi-Identität für ein beliebiges antisymmetrisches bilineares Produkt gilt; viele solche Produkte erfüllen Jacobi nicht und definieren daher keine Lie-Algebren, womit Anwendungen der Lie-Theorie dort unzulässig sind.

Konsequenz

Ist die Identität zusammen mit Bilinearität und Antisymmetrie erfüllt, so entsteht eine Lie-Algebra-Struktur, die Darstellungstheorie, Lie-Kohomologie und Integrabilitätsbedingungen für zugehörige Flüsse ermöglicht.

Umkehrung

Wird Jacobi fallengelassen, entstehen weitere nicht-Lie-Strukturen wie Malcev- oder Quasi-Lie-Algebren, in denen andere Identitäten die zyklische Vanishen ersetzen und andere Darstellungstheorien gelten.

Abgrenzung

Gilt nur für binäre bilineare Klammern auf einem Modul oder Vektorraum; sie impliziert keine Assoziativität der Multiplikation und unterscheidet sich von Alternativ- oder Flexibilitätsidentitäten in nichtassoziativen Kontexten.

Semantische Spannung

Steht im Spannungsverhältnis zu assoziatorbasierten Identitäten: Jacobi regelt verschachtelte Klammern, während Assoziativität und Alternativität dreifache Produkte steuern; eine Algebra kann das eine, nicht aber das andere erfüllen.

Synthese

Die Jacobi-Identität ist die zyklische Vorschrift für verschachtelte Klammern, die zusammen mit Bilinearität und Antisymmetrie Lie-Algebren charakterisiert und das Derivationsverhalten der Elemente sowie die Beziehungen der Strukturkonstanten bestimmt.