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>.