1
$\begingroup$

I see in Wikipeida that every Lie algebra is either constructed from an associative algebra by defining: $[x,y]=xy-yx$, or a subalgebra of a Lie algebra thus constructed. Where can I find a proof?

Moreover, is there any existing example of a Lie algebra which cannot from constructed in this way be an associative algebra?

Thanks a lot :)

  • 0
    The same wiki page you are referring to lists many examples of Lie algebras that do not come from an associative algebra. It doesn't list free Lie algebras which is a very big source of Lie algebras not coming from associative algebras.2012-11-06
  • 1
    Search for universal enveloping algebra. It is a theorem that the the natural map from Lie algebra to its UEA is injective (follows from PBW theorem), which means that it is a subalgebra of a Lie algebra that comes from an associative algebra.2012-11-06
  • 0
    my apologies, I missed the 'or a subalgebra...'.2012-11-06
  • 0
    See http://math.stackexchange.com/questions/3031/cayleys-theorem-for-lie-algebras2012-11-06

0 Answers 0