Universal enveloping algebra

Poincaré-Birkhoff-Witt theorem

Let 𝔤 be a Lie algebra over 𝕂 and 𝑈(𝔤) its universal enveloping algebra with the canonical Lie algebra homomorphism 𝜄 :𝔤 𝑈(𝔤). For some ordered basis (𝑥𝑗)𝑗𝐽 of 𝔤, the universal enveloping algebra 𝑈(𝔤) has a basis consisting of ordered products 𝑥𝑗1𝑥𝑗𝑛 for 𝑛 1, 𝑗 𝐽, 𝑗1 𝑗𝑛. lie It follows that 𝜄 is injective.

Corollaries

  • Let 𝔣,𝔥 𝖫𝗂𝖾𝕂𝔤 and 𝔤 =𝖵𝖾𝖼𝗍𝕂𝔣 𝔥. Then the following defines a 𝕂-linear isomorphism:

    𝑈(𝔣)𝕂𝑈(𝔥)𝑈(𝔤)𝑥𝑦𝑥𝑦

    Therewithal if 𝑉 is an 𝔥-module then the following defines a 𝕂-linear isomorphism

    𝑈(𝔣)𝕂𝑉𝑈(𝔤)𝑈(𝔥)𝑉𝑥𝑣𝑥𝑣

    where the codomain is the induced module Ind𝔤𝔥𝑉.1

  • The associated graded algebra of 𝑈(𝔤) is the symmetric algebra 𝑆𝔤.


develop | en | SemBr

Footnotes

  1. 1988. Vertex operator algebras and the Monster, §1.5, p. 16