 Solution

The Killing form is ${\kappa }_L(x,y)=\mathrm{Tr}(\mathrm{ad}x\mathrm{ad}y)$. Write $X=\mathrm{ad}x$, $Y=\mathrm{ad}y$, $Z=\mathrm{ad}z$. Since $\mathrm{ad}[x,y]=[X,Y]$, cyclicity of trace givesIf $x\in I^{\perp }$, $a\in L$ and $y\in I$, invariance gives ${\kappa }_L([a,x],y)={\kappa }_L(x,[y,a])=0$, because $[y,a]\in I$. Thus $I^{\perp }$ is an ideal. For $x,y\in I$, the restrictions of their adjoint maps to $I$ are the adjoint maps of $I$, and their induced maps on $L/I$ vanish. Block traces therefore give ${\kappa }_L{|}_{I\times I}={\kappa }_I$.

If $A$ is an Abelian ideal, $\mathrm{ad}a\mathrm{ad}x$ maps $L$ into $A$ and vanishes on $A$ for $a\in A$. In a basis starting with $A$ it has zero diagonal blocks, hence trace zero. Therefore every Abelian ideal lies in $L^{\perp }$.

Cartan criterion for semisimplicity says that a finite-dimensional complex Lie algebra is semisimple exactly when its Killing form is nondegenerate. To see why nondegeneracy implies semisimplicity, any nonzero solvable ideal has a last nonzero derived term which is an Abelian ideal of $L$. The previous paragraph would put it in the radical of the Killing form, a contradiction.

If $L$ is a semisimple ideal of $M$, the restriction ${\kappa }_M{|}_L={\kappa }_L$ is nondegenerate. Put $J=L^{{\perp }_{{\kappa }_M}}$. This is an ideal of $M$ by the argument above, and nondegeneracy on $L$ gives $L\cap J=0$ and $M=L+J$. One way to check the latter is to restrict the pairing map $M\to L^{\ast }$: its restriction to $L$ is an isomorphism, so every vector of $M$ can be adjusted by an element of $L$ to lie in its kernel $J$. Since both are ideals, $[L,J]\subseteq L\cap J=0$. HenceApply this to the supplied extension by the derivation. If $\delta =0$, it is $\mathrm{ad}0$. Otherwise $D$ and $J$ are one-dimensional, and projection $J\to D$ is an isomorphism. Choose its vector with $D$-component $\delta$, writing it as $j=\delta -x$ for $x\in L$. Because $[J,L]=0$, for every $l\in L$ one has $0=[j,l]=\delta (l)-[x,l]$. ThusThis also handles the sign in the extension bracket explicitly.