Nondegeneracy of the Killing form on a Cartan subalgebra
ID: nondegeneracy-of-the-killing-form-on-a-cartan-subalgebra
For a complex semisimple Lie algebra, the Cartan subalgebra is orthogonal under the Killing form to every nonzero root space. A vector in the Cartan subalgebra orthogonal to that whole subalgebra is therefore orthogonal to the entire Lie algebra and must vanish. On the Cartan subalgebra the form is .
New to topics? Read the docs here!