# About nondegeneration of Killing form

Let $$\mathfrak{r}$$ be a reductive Lie subalgebra of the complex semisimple Lie algebra $$\mathfrak{g}$$ and let $$B$$ be the Killing form of $$\mathfrak{g}$$.

Suppose that the restriction $$B|_\mathfrak{r}$$ of B on $$\mathfrak{r}$$ is non-degenerate. Let $$\mathfrak{g} = \mathfrak{r} \oplus\mathfrak{s}$$ be the orthogonal decomposition with respect to $$B$$.

How to check that the restriction $$B|_\mathfrak{s}$$ of $$B$$ on $$\mathfrak{s}$$ is also non-degenerate?

• Hint: the matrix associated to the form is block diagonal when you pick bases from those two subspaces. – Tobias Kildetoft Feb 26 at 8:52

Suppose $$g$$ is the orthogonal sum $$g=r\oplus s$$ where $$g$$ is semi-simple. Since $$g$$ is sem-simple, Killing is not degenerated, this implies that for every $$y\in s$$, there exists $$z\in g$$ such that $$B(y,z)\neq 0$$, we can write $$z=u+v, u\in r, v\in s$$, we deduce that $$B(y,z)=B(y,u+v)=B(y,v)\neq 0$$ since $$r$$ is orthogonal to $$s$$. This implies that the restriction of $$B$$ to $$s$$ is not degenerated.

• Thank you for the clear explanation. – James Cheung Feb 27 at 7:50