Lie Groups Beyond an Introduction
《Lie Groups Beyond an Introduction》 · 第 32 页 · Chapter I, Section 2「Ideals」
A finite-dimensional Lie algebra $\mathfrak g$ is semisimple if $\mathfrak g$ has no nonzero solvable ideals, i.e., if $\operatorname{rad}\mathfrak g=0$.