Cartan’s criterionA Lie algebra 𝔤 is semi-simple if and only if its Killing form B𝔤 is nondegenerate.