On the inverse limit of finite dimensional lie algebras

We extend the well Known Levi-Malcev decomposition theorem of finite dimensional Lie algebras to the case of pro-finite dimensional Lie algebras L = limLn (n ∈ N). We also prove that every finite dimensional homomorphic image of the Cartesian product of finite dimensional nilpotent Lie algebras is also nilpotent.