3

Let $L$ be a complex, finite dimensional Lie algebra.

It is well-known that the graded associative algebra of the enveloping algebra $U(L)$ is isomorphic to the symmetric algebra $S(L)$. Therefore $U(L)$ has no non-zero zero-divisors.

But I really want to know is: can we prove this without the Poincare-Birkhoff-Witt theorem?

Thanks !

rschwieb
  • 153,510

0 Answers0