Ein Vektorraum über einem Körper mit einer bilinearen, antisymmetrischen Klammer, die die Jacobi-Identität erfüllt und die infinitesimale Struktur kontinuierlicher Symmetriegruppen kodiert.

Prinzip

Die lokale Gruppenkomposition linearisiert: die Klammer misst die nichtkommutative Führung erster Ordnung infinitesimaler Erzeuger und organisiert deren Abschlussrelationen.

Demonstration

Bei Matrixgruppen ist die Klammer der Kommutator [X,Y]=XY−YX auf dem Raum der Matrizen tangent zur Identität, wodurch Strukturkonstanten für die Algebra entstehen.

Fehlanwendung

Eine beliebige antisymmetrische bilineare Operation ohne Prüfung der Jacobi‑Identität als Lie‑Klammer zu behandeln, führt zu algebraischen Inkonsistenzen.

Konsequenz

Ermöglicht die Klassifikation lokaler Symmetrien, den Aufbau von Darstellungen und, unter geeigneten Bedingungen, die Integration zu lokalen Gruppenflüssen mittels Exponentialabbildungen.

Umkehrung

Statt vom Gruppe zur Algebra durch Differentiation an der Identität überzugehen, die lokale Gruppenkomposition aus algebraischen Klammern durch Exponentiation rekonstruieren.

Abgrenzung

Gilt für linearisiert infinitesimale Symmetrien und Tangentialräume an der Identität; sie lässt globale topologische Informationen und diskrete Symmetrien der Gesamtgruppe außer Acht.

Semantische Spannung

Überlappt mit assoziativen Algebren, wenn der Kommutator benutzt wird; Lie-Algebren untersuchen jedoch eine nichtassoziative Klammerstruktur anstelle einer assoziativen Multiplikation.

Synthese

Eine algebraische Struktur, die infinitesimale, nichtkommutative Erzeuger kontinuierlicher Symmetrien durch eine bilineare Klammer erfüllt Jacobi beschreibt und als lineares Abbild einer Lie‑Gruppe dient.