Poincaré-Birkhoff-Witt theorem
Let
Proof
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
.1I n d 𝔤 𝔥 𝑉 -
The associated graded algebra of
is the symmetric algebra𝑈 ( 𝔤 ) .𝑆 ∙ 𝔤
Footnotes
-
1988. Vertex operator algebras and the Monster, §1.5, p. 16 ↩