Universala envelopa alĝebro

En algebro, la universala envelopa alĝebro (mallonge UEA) de alĝebro de Lie estas asocia alĝebro, enhavanta kopion de la alĝebro de Lie, kies komutilo koncidas kun la krampo de la alĝebro de Lie.

Difino

Se $({\mathfrak {g}},[-,-])$ estas alĝebro de Lie super komuta korpo $K$, do oni povas difini la tensoran alĝebron

$\operatorname {T} ({\mathfrak {g}})=K\oplus {\mathfrak {g}}\oplus {\mathfrak {g}}\otimes _{K}{\mathfrak {g}}\oplus {\mathfrak {g}}\otimes _{K}{\mathfrak {g}}\otimes _{K}{\mathfrak {g}}\oplus \dotsb$.

Difinu la jenan subaron de la tensora alĝebro:

$S=\{x\otimes y-[x,y]\colon x,y\in {\mathfrak {g}}\}$.

Tiu subaro generas ambaŭflankan idealon

${\mathfrak {I}}=(S)\subseteq T({\mathfrak {g}})$

de la alĝebro $T({\mathfrak {g}})$. La universala envelopa alĝebro de la alĝebro de Lie ${\mathfrak {g}}$ estas la kvocienta alĝebro

$\operatorname {U} ({\mathfrak {g}})={\frac {\operatorname {T} ({\mathfrak {g}})}{\mathfrak {I}}}$.

Propraĵoj

Ĉiu prezento de alĝebro de Lie ${\mathfrak {g}}\to {\mathfrak {gl}}(V)$ difinas modulon $V$ de la universala envelopa alĝebro de ${\mathfrak {g}}$; fakte, tiuj du konceptoj estas ekvivalentaj.

Eksteraj ligiloj

• Universal enveloping algebra (angle). nLab.