Universal enveloping algebra (source code)

= Universal enveloping algebra
{title2=$U(\mathfrak g)$}
{wiki}

The universal enveloping algebra $U(\mathfrak g)$ is the associative algebra generated by $\mathfrak g$ subject to $xy-yx=[x,y]$. Its modules are the same as <Lie algebra representations>.