Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 :)

share|cite|improve this question
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. – Ittay Weiss Nov 6 '12 at 4:13
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. – user27126 Nov 6 '12 at 4:14
my apologies, I missed the 'or a subalgebra...'. – Ittay Weiss Nov 6 '12 at 7:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.