Ein Vektorraum über einem angegebenen Körper, ausgestattet mit einer bilinearen Lie‑Klammer [·,·], die alternierend (in Charakteristik ≠2 schiefsymmetrisch) ist und die Jacobi‑Identität erfüllt; die Klammer kodiert die infinitesimale Kommutatorstruktur.

Prinzip

Die Lie‑Klammer ist eine bilineare Abbildung V×V→V, die die Nichtkommunativität auf infinitesimaler Ebene misst: [x,x]=0 (Alternierend) und [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0 (Jacobi). Sie ordnet Erzeuger und Relationen für kontinuierliche Symmetrien und linearisiert Gruppenkommutatoren.

Demonstration

gl(n,F): der Vektorraum aller n×n‑Matrizen über einem Körper F mit Klammer [A,B]=AB−BA ist eine Lie‑Algebra. so(3) besteht aus reellen 3×3 schiefsymmetrischen Matrizen mit dem Kommutator als Klammer und entspricht den infinitesimalen Rotationen von SO(3). Strukturkonstanten bzgl. einer Basis kodieren die Algebra.

Fehlanwendung

Die Klammer als assoziativ zu behandeln oder die Multiplikation in einer assoziativen Algebra mit der Lie‑Klammer zu verwechseln ohne Kommutatoren zu bilden; anzunehmen, jede Lie‑Algebra integriere global zu einer Lie‑Gruppe ohne topologische oder globale Hindernisse zu beachten; Charakteristikprobleme (z. B. Charakteristik 2) zu ignorieren.

Konsequenz

Eine Lie‑Algebra steuert das lokale Verhalten zugehöriger Lie‑Gruppen, bestimmt Darstellungen über Moduln und die adjungierte Darstellung und erlaubt Klassifikationsstrategien (z. B. semisimple Zerlegung, Wurzelsysteme), die Symmetrien und Invariantentheorie kontrollieren.

Umkehrung

Eine assoziative Algebra, in der die Multiplikation primär ist, oder eine abelsche Lie‑Algebra, deren Klammer verschwindet; das Vorzeichen der Klammer umzukehren ergibt eine isomorphe, aber entgegengesetzt orientierte Lie‑Algebra, oft in dualen Konstruktionen verwendet.

Abgrenzung

Definiert über einem angegebenen Grundkörper oder Ring; besondere Vorsicht ist bei Körpern kleiner Charakteristik (insbesondere Charakteristik 2 und Phänomene in Charakteristik p>0) und bei unendlichdimensionalen Lie‑Algebren geboten, wo zusätzliche topologische oder graduierte Strukturen nötig sein können. Eine Lie‑Algebra ist nicht identisch mit einer Lie‑Gruppe und enthält keine globalen topologischen Informationen.

Semantische Spannung

Spannung besteht zwischen der abstrakten algebraischen Definition und der Realisierung als Tangentialraum an der Identität einer Lie‑Gruppe; ebenso zwischen Lie‑Algebren als rein algebraische Objekte und als topologische/gradierte Strukturen in der mathematischen Physik.

Synthese

Eine Lie‑Algebra ist der linearisiert Träger infinitesimaler Symmetrie: ein Vektorraum mit einer alternierenden bilinearen Klammer, die Jacobi erfüllt, wobei Kommutatorrelationen codiert und die differenzielle Projektion kontinuierlicher Gruppen dargestellt werden.