Satz von Poincaré-Birkhoff-Witt

Satz von Poincaré-Birkhoff-Witt

Die universelle einhüllende Algebra (auch universelle Einhüllende) ist ein Begriff aus dem mathematischen Teilgebiet der Theorie der Liealgebren. Sie ist eine assoziative Algebra, die zeigt, dass man die Lieklammer stets als Kommutator auffassen kann, auch bei Liealgebren, die nicht von einer assoziativen Algebra herkommen.

Inhaltsverzeichnis

Definition

Es sei \mathfrak g eine Liealgebra (über einem Körper). Eine universelle einhüllende Algebra \mathrm U(\mathfrak g) von \mathfrak g besteht aus einer unitären assoziativen Algebra und einem Liealgebrenhomomorphismus \mathfrak g\to\mathrm U(\mathfrak g) (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 \mathfrak g\to A in Bijektion mit den unitären Algebrenhomomorphismen \mathrm U(\mathfrak g)\to A. Diese Bijektion wird durch den Homomorphismus \mathfrak g\to\mathrm U(\mathfrak g) 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 X_1,\ldots,X_n eine Basis von \mathfrak g und i\colon\mathfrak g\to\mathrm U(\mathfrak g) die kanonische Abbildung, so bilden die Monome
i(X_{i_1})i(X_{i_2})\cdots i(X_{i_k}) mit i_1\leq i_2\leq\ldots\leq i_k
eine Basis von \mathrm U(\mathfrak g).
  • Insbesondere ist i injektiv, und jede Liealgebra ist Unteralgebra einer assoziativen Algebra.
  • Moduln unter einer Liealgebra sind dasselbe wie Moduln unter ihrer universellen einhüllenden Algebra.

Konstruktion

Man kann die universelle Einhüllende explizit angeben als Quotienten der Tensoralgebra \mathrm T\mathfrak g nach dem zweiseitigen Ideal, das von Elementen der Form

X\otimes Y-Y\otimes X-[X,Y]

für X,Y\in\mathfrak g erzeugt wird. Man beachte: Im Unterschied zu den entsprechenden Konstruktionen der äußeren Algebra oder symmetrischen Algebra ist dieses Ideal nicht homogen, \mathrm U(\mathfrak g) trägt also keine induzierte Graduierung.

Beispiele

  • Ist \mathfrak g abelsch, so ist die universelle einhüllende Algebra isomorph zur symmetrischen Algebra über \mathfrak g.

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Witt-Ring — Ernst Witt (* 26. Juni 1911 auf Alsen, heute Dänemark; † 3. Juli 1991 in Hamburg) war ein deutscher Mathematiker. Inhaltsverzeichnis 1 Leben 2 Siehe auch 3 Publikationen 4 Literatur …   Deutsch Wikipedia

  • Ernst Witt — in Nizza, 1970 Grab von Ernst Witt …   Deutsch Wikipedia

  • Garrett Birkhoff — (* 19. Januar 1911 in Princeton, New Jersey, USA; † 22. November 1996 in Water Mill, N.Y., USA) war ein US amerikanischer Mathematiker, der sich mit Algebra und Angewandter Mathematik (Hydrodynamik) befasste …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Wittvektor — Ernst Witt (* 26. Juni 1911 auf Alsen, heute Dänemark; † 3. Juli 1991 in Hamburg) war ein deutscher Mathematiker. Inhaltsverzeichnis 1 Leben 2 Siehe auch 3 Publikationen 4 Literatur …   Deutsch Wikipedia

  • 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 …   Deutsch Wikipedia

  • Gruppentheorie-Glossar — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik zur Löschung vorgeschlagen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel… …   Deutsch Wikipedia

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”