Just a remark aboutThey are the term compact Lie algebracompact Lie algebras. ThereNote that are two different notionsdefinitions in the literature. One is that ita compact Lie algebra is the Lie algebra of a compact Lie group. This includes tori, and the Killing form then is negative semidefinite. Then theThe Lie algebra is not necessariliy semisimple, but reductive. The other definition is, that a compact Lie algebra is a real Lie algebra whose Killing form is negative definite; this definition is more restrictive and excludes tori.