Examples of Free Lie Algebra In wikipedia, free Lie algebras are defined using the universal property. Can anyone give some concrete examples of free Lie algebras?

In mathematics, a free Lie algebra, over a given field $K$, is a Lie algebra generated by a set $X$, without any imposed relations." If we take the field $K$ to be the field $\mathbb{C}$ of complex numbers, what is the free algebra if

*

*$X=\emptyset$?

*$X=\{0\}$?

*$X=\{0,1,2\}$?

*$X=\mathbb{R}$?

*$X=\mathbb{C}$?


 A: So if, say, $X=\{1,2\}$, then the free Lie algebra $L(X)$, with $x\mapsto e_x$,
consists of all linear combinations of the elements $e_1,e_2$, $[e_1,e_2]$, $[e_1,[e_1,e_2]]$, $[e_2,[e_1,e_2]]$, $[e_1,[e_1,[e_1,e_2]]$, $[e_1,[e_2,[e_1,e_2]]$, $[e_2,[e_1,[e_1,e_2]]$, $[e_2,[e_2,[e_1,e_2]]$, and so forth, such that skew-symmetry and the Jacobi identity holds.
More formally, a free Lie algebra $L(x,y)$ on two letters $x,y$ has its elements in the ring of polynomials $K\langle x,y\rangle$ in the non-commuting variables $x,y$, where $K$ is a field.
A: As I don't have enough rep to comment under @Dietrich Burde answer, and since an edit to his answer I performed was rejected, here is an interesting comment (in my opinion) on the free Lie algebra $L(X)$ (where $X = \lbrace 1,2\rbrace $) that Dietrich Burde starts to describe in his answer.
As it happens, all the vectors in $ B = \lbrace e_1, e_2, [e_1,e_2], [e_1,[e_1,e_2], [e_2,[e_1,e_2]]\rbrace $ are linearly independent in $L(X)$, i.e. the skew-symmetry and the Jacobi identity do not produce any unexpected relation.
On the other hand, by skew-symmetry and the Jacobi identity, we actually have $[e_1,[e_2,[e_1,e_2]]] = [e_2,[e_1,[e_1,e_2]]]$. If one wishes to go further and add "words of length 4" in our linearly independent set $B$, one can use the so called Lyndon basis to get that the vectors $e_1, e_2, [e_1,e_2], [e_1,[e_1,e_2], [[e_1,e_2],e_2], [e_1,[e_1,[e_1,e_2]]], [[e_1,[e_1,e_2]],e_2]$ and $[[[e_1,e_2],e_2],e_2]$ are linearly independent in $L(X)$.
Going to the next word length would not be too tedious either, since by the Necklace polynomial formula, the number of linearly independent "words of length 5" in $L(X)$ is $\frac{1}{5}(2^5-2) = 6$. Those $6$ linearly independent "words of length 5" in $L(X)$ can be constructed using the 6 Lyndon words of length 5 on two symbols (and the recipe for this construction is given in the Wikipedia article on free Lie algebras).
