Are (semi)-simple Lie algebras not solvable?

Question

Let $L\ne \{0\}$ be a non-abelian simple Lie algebra, then the only ideals are $L$ and $\{0\}$. We know that $L'$ is the smallest ideal of $L$ such that $L/L'$ is abelian. If $L'=\{0\}$, then $L/L'=L$, but $L$ is non-abelian. So $L'=L$ and hence $L^{(k)}=L\ne \{0\}$ for all $k$, i.e. $L$ is not solvable. So simplicity implies non-solvability.

My question is, can we extend this idea to semi-simple Lie algebras? In other words, is it true that semi-simplicity implies non-solvability?

My definition for semi-simple: $L$ has no non-zero solvable ideals.

Answer 1

As noted in the comments, the answer I give may not coincide with the definitions/assumptions of the book/lecture course you are following.

Suppose $L$ is a non-abelian semi-simple Lie algebra. Then by definition of semi-simplicity (or it is a theorem depending on the approach you take) $L=\bigoplus_{i=1}^n L_i$ for some simple Lie algebras. And because $L$ is non-abelian at least one of the $L_i$ has to be non-abelian.

Because the argument is not really different for bigger $n$, let me for simplicity of notation assume that $L=L_1\oplus L_2$ with $L_1$ non-abelian (and we don't know whether $L_2$ is abelian or not). This means that $L=L_1\oplus L_2$ as vector spaces and additionally $[l_1,l_2]=[l_2,l_1]=0$ for all $l_1\in L_1$ and $l_2\in L_2$.

Now, by definition $L'=[L,L]=[L_1\oplus L_2,L_1\oplus L_2]=[L_1,L_1]+[L_1,L_2]+[L_2,L_1]+[L_2,L_2]$. The last equality follows as the Lie bracket is bilinear. But since we have a direct sum decomposition of Lie algebras, we have $[L_1,L_2]=[L_2,L_1]=0$. Hence $L'=L_1'\oplus L_2'$. Now since $L_1'$ is non-abelian simple, we have that $L_1'=L_1$. Thus $L^{(k)}=L_1\oplus L_2^{(k)}$. In particular, $L$ is not solvable.