Universelle einhüllende Algebra
- Universelle einhüllende Algebra
-
Die universelle einhüllende Algebra (auch universelle Einhüllende) ist ein Begriff aus dem mathematischen Teilgebiet der Theorie der Lie-Algebren. Sie ist eine assoziative Algebra, die zeigt, dass man die Lieklammer stets als Kommutator auffassen kann, auch bei Lie-Algebren, die nicht von einer assoziativen Algebra herkommen.
Definition
Es sei eine Lie-Algebra (über einem Körper). Eine universelle einhüllende Algebra von besteht aus einer unitären assoziativen Algebra und einem Liealgebrenhomomorphismus (dabei sei die Liealgebrastruktur auf assoziativen Algebren durch den Kommutator gegeben), so dass gilt:
- Ist A eine unitäre assoziative Algebra, so stehen die Liealgebrahomomorphismen in Bijektion mit den unitären Algebrenhomomorphismen . Diese Bijektion wird durch den Homomorphismus vermittelt.
Eigenschaften
- Die wichtigste Aussage über universelle einhüllende Algebren ist der Satz von Poincaré-Birkhoff-Witt (nach Henri Poincaré, Garrett Birkhoff und Ernst Witt; auch als PBW abgekürzt): Ist eine Basis von und die kanonische Abbildung, so bilden die Monome
-
- mit
- eine Basis von .
- Insbesondere ist i injektiv, und jede Lie-Algebra ist Unteralgebra einer assoziativen Algebra.
- Moduln unter einer Lie-Algebra sind dasselbe wie Moduln unter ihrer universellen einhüllenden Algebra.
Konstruktion
Man kann die universelle Einhüllende explizit angeben als Quotienten der Tensoralgebra nach dem zweiseitigen Ideal, das von Elementen der Form
für erzeugt wird. Man beachte: Im Unterschied zu den entsprechenden Konstruktionen der äußeren Algebra oder symmetrischen Algebra ist dieses Ideal nicht homogen, trägt also keine induzierte Graduierung.
Beispiele
- Ist abelsch, so ist die universelle einhüllende Algebra isomorph zur symmetrischen Algebra über .
Wikimedia Foundation.
Schlagen Sie auch in anderen Wörterbüchern nach:
Hopf-Algebra — Hopfalgebra berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Bialgebra Eine Hopf Algebra – benannt … Deutsch Wikipedia
Abelsche Lie-Algebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum … Deutsch Wikipedia
Auflösbare Lie-Algebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum … Deutsch Wikipedia
Einfache Lie-Algebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum … Deutsch Wikipedia
Ideal (Lie-Algebra) — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum … Deutsch Wikipedia
Nilpotente Lie-Algebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum … Deutsch Wikipedia
Satz von Weyl (Lie-Algebra) — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum … Deutsch Wikipedia
Lie-Algebra — Eine Lie Algebra, benannt nach Sophus Lie, ist eine algebraische Struktur, die hauptsächlich zum Studium geometrischer Objekte wie Lie Gruppen und differenzierbarer Mannigfaltigkeiten eingesetzt wird. Inhaltsverzeichnis 1 Definition 2 Beispiele 2 … Deutsch Wikipedia
Einhüllende C*-Algebra — Hilbertraum Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach * Algebren, insbesondere C* Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren… … Deutsch Wikipedia
Einhüllende von-Neumann-Algebra — Hilbertraum Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach * Algebren, insbesondere C* Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren… … Deutsch Wikipedia