Relations among Lie-series transformations and isomorphisms between free Lie algebras

We study the subgroup generated by the exponentials of formal Lie series. We show three diierent way to represent elements of this subgroup. These elements induce Lie series transformations. Relations among these family of transformations furnish algorithms of composition. Starting from the Lazard elimination theorem and the Witt's formula, we show isomorphisms between some submodules of free Lie algebras. Combining diierent results, we also show that the homogeneous terms of the Hausdorr series H (a; b) freely generate the free Lie algebra L(a; b) without a line.