Cartan criterion for semisimplicity (source code)

= Cartan criterion for semisimplicity
{c}

A finite-dimensional complex <Lie algebra> is <Semisimple Lie algebra>[semisimple] if and only if its <Killing form> is <nondegenerate bilinear form>[nondegenerate].