 Complexification preserves semisimplicity

For a finite-dimensional real Lie algebra $\mathfrak{g}$, the solvable radical of its complexification of a Lie algebra is invariant under complex conjugation. Its real fixed subspace is a solvable ideal of $\mathfrak{g}$, and complexifying that fixed subspace recovers the whole radical. Conversely the complexification of any real solvable ideal is solvable. These inclusions prove the displayed identity; in particular $\mathfrak{g}$ is semisimple if and only if ${\mathfrak{g}}_{\mathbb{C}}$ is semisimple.