A New Proof of the Existence of Free Lie Algebras and an Application

The existence of free Lie algebras is usually derived as a consequence of the Poincaré-Birkhoff-Witt theorem. Moreover, in order to prove that (given a set and a field of characteristic zero) the Lie algebra of the Lie polynomials in the letters of (over the field ) is a free Lie algebra generated by , all available proofs use the embedding of a Lie algebra into its enveloping algebra . The aim of this paper is to give a muchsimpler proof of the latter fact without the aid of the cited embedding nor ofthe Poincaré-Birkhoff-Witt theorem. As an application of our result and ofa theorem due to Cartier (1956), we show the relationships existingbetween the theorem of Poincaré-Birkhoff-Witt, the theorem of Campbell-Baker-Hausdorff, and the existence of free Lie algebras.