Eine Lie-Algebra ist ein Vektorraum g über einem Körper zusammen mit einer bilinearen Klammer [·,·]: g×g → g, die antisymmetrisch ist ([x,y] = −[y,x]) und die Jacobi-Identität [x,[y,z]]+[y,[z,x]]+[z,[x,y]] = 0 erfüllt; sie kodiert infinitesimale Symmetrien.

Prinzip

Infinitesimales Kommutieren: Die Klammer misst die erste Ordnung der Nichtkommutativität eines gruppenähnlichen Objekts; Linearität, Antisymmetrie und Jacobi ordnen die algebraischen Beschränkungen an Kommutatoren.

Demonstration

Die Menge der n×n-Matrizen mit Klammer [A,B]=AB−BA ist eine Lie-Algebra; der Tangentialraum am Einselement einer Matrix-Lie-Gruppe liefert eine Lie-Algebra, die ihre infinitesimalen Erzeuger beschreibt. So(3) der schiefsymmetrischen 3×3-Matrizen modelliert z. B. die Drehimpulsalgebra.

Fehlanwendung

Den Kommutator einer assoziativen Algebra zu verwenden, ohne Abschluss zu prüfen (der Kommutator kann aus einem Unterraum herausfallen) oder Charakteristik-Probleme bei Körpern kleiner Primzahl zu ignorieren; jedes antisymmetrische bilineare Produkt als Lie-Klammer zu betrachten ohne Jacobi zu prüfen, ist falsch.

Konsequenz

Lie-Algebren klassifizieren lokale Symmetrien und erzeugen Repräsentationen durch Module; ihre Strukturtheorie (auflösbar, halbeinfach, Radikal, einfache Faktoren) und universelle Hüllalgebren verbinden zur Darstellungstheorie und Invariantentheorie.

Umkehrung

Ersetzt man die antisymmetrische Klammer durch ein assoziatives Produkt, verschiebt sich der Fokus von infinitesimaler Symmetrie und Kommutatoren zur multiplikativen Struktur, und die durch Jacobi gesteuerten Ableitungseigenschaften gehen verloren.

Abgrenzung

Normalerweise über einem Körper definiert; in positiver Charakteristik treten zusätzliche Phänomene auf (restricted Lie-Algebren, p-Torsion); nicht jede nichtassoziative Algebra ist eine Lie-Algebra — Jacobi muss gelten. Die Korrespondenz Lie-Gruppe–Lie-Algebra erfordert analytische Voraussetzungen (z. B. Zusammenhang, Charakteristik null) für eine vollständige Umkehr.

Semantische Spannung

Lie-Algebra vs Lie-Gruppe: Erstere ist die lineare, algebraische Linearisierung einer Symmetriegruppe; Lie-Algebra vs assoziative Algebra: Kommutatoren in assoziativen Kontexten liefern Lie-Klammern, doch fehlende Assoziativität führt zu anderen strukturellen Mitteln.

Synthese

Eine Lie-Algebra ist das lineare Objekt, das infinitesimale Symmetrien mittels einer antisymmetrischen bilinearen Klammer erfüllt und so als algebraisches Gegenstück zu kontinuierlichen Transformationsgruppen fungiert.