 Solvable radical

The solvable radical of a finite-dimensional Lie algebra is its largest solvable ideal of a Lie algebra. A Lie algebra is semisimple exactly when its solvable radical is zero.