Exercise 10, § 2
Lie Groups and Lie Algebras, II, 183
Let l be a free Lie algebra admitting a finite basic family with n elements and let u be a surjective endomorphism of l. Show that u is an isomorphism. (Write and denote by the endomorphism of derived from u; note that is surjective; as is a free K-module of finite rank, deduce that is bijective since the kernel of u is contained in , which is .)
† When g is not graded, we do not know whether the condition "H^2(g, M) = \{0\} for every g-module M" implies that g is a free Lie algebra.
If is a generating family of , show that and that we have equality if and only if is a basic family.
Solution
No solution has been written yet.