Free Lie algebra. Let $F$ be the free Lie algebra on $\{x,y,z\}$ and $L$ the quotient of $F$ by the ideal $I$ generated by brackets that involve at least three free generators. I have to prove that $dim(L)$ is $6$ and $L$ is nilpotent but not commutative. So if I could prove that $B:= \{\bar{x},\bar{y},\bar{z},\overline{[x,y]},\overline{[y,z]},\overline{[x,z]} \}$ is a basis of $F/I$ the statement would proved. But how can I prove that $B$ is a basis for $F/I$?
 A: I would do it in two parts.
First you prove that the elements of $B$ span $F/I$ as a vector space. This is easy enough, because any longer commutator is in $I$ by assumption. So $F/I$ has dimension at most $6$.
Now to prove that they are linearly independent, you may construct a Lie algebra $L$ of dimension $6$ on three generators $X, Y, Z$ in which the elements of $I$ are relations. Such an algebra is a homomorphic image of $F/I$ by results you should have been exposed to, so $F/I$ has at least dimension $6$, so...
To construct such an $L$, consider a vector space with basis $X,Y,Z, XY, XZ, YZ$ (the last three items are just symbols), and define on it an antisymmetric binary operation by
$$
[X,Y] = XY, [X, Z] = XZ, [Y, Z] = YZ,
$$
and setting all $[AB, C] = 0$ (by this I mean $0 = [XY, X] = [XY, Y] = [XY, Z] = \dots$, and extending this by bilinearity.
To prove that this is a Lie algebra, you just need to show that the Jacobi identity holds. But all threefold products are trivial here, so you are done, and you have also proved in the process that this is a homomorphic image of $F/I$.
A: Consider the Lie algebra $B$ which is spanned by six linearly independent elements $x_1$, $x_2$, $x_3$, $x_{1,2}$, $x_{1,3}$  and $ x_{2,3}$, with brackets defined so that $[x_i,x_j]=x_{i,j}$ if $1\leq i<j\leq 3$ and all other brackets between elements of the basis zero. One has to check that this is a Lie algebra.
Now let $F$ be your free Lie algebra. There is a morphism of Lie algebras $\phi:F\to B$ such that $\phi(x)=x_1$, $\phi(y)=x_2$ and $\phi(z)=x_3$, and this map is surjectve because $x_1$, $x_2$, $x_3$ generate $B$. It is easy to see that your ideal $I$ is in the kernel of $\phi$, so that $\phi$ induces a Lie algebra map $\bar\phi:F/I\to B$. Since $\bar\phi$ is surjective, we see that $\dim F/I\geq6$. Moreover, since the elements of the image $X$ in $F/I$ of the set $\{x,y,z,[x,y],[x,z],[y,z]\}$ are mapped by $\bar\phi$ to linearly independent elements of $B$, the image of $X$ in $F/I$ is linearly independent.
This shows that your six elements are linearly independent. Can you show the span $F/I$?
A: A different way of doing this is to use the theory of Shirshov-Groebner bases and/or the Diamond Lemma for Lie algebras. This is explained in quite a few places; google gives me this, which is pretty nice.
