Equivalente, A es semisimple si y solamente si la "[[forma de Killing]]" "K"("x", "y") = tr(ad("x")ad("y")) es no-degenerada; aquí tr denota el operador de traza.